search

rse-verification / interface-specification-propagator

GNU General Public License v2.0
0 stars 0 forks source link

Test container in workflow #18

Closed woosh closed 1 week ago

woosh commented 1 week ago

This didn't work as well as I was hoping for. The Frama-C image didn't work well with the opam action.