add basic opam-based CI

rse-verification / interface-specification-propagator

GNU General Public License v2.0

0 stars 0 forks source link

Closed palmskog closed 2 months ago

palmskog commented 2 months ago

Merging this since it's needed for an experiment with opam and TriCera.