search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
136 stars 20 forks source link

Test OCaml 4.11.2 and 4.12.0 in CI #25

Closed michael-schwarz closed 3 years ago

michael-schwarz commented 3 years ago

Add OCaml 4.11.2 and 4.12.0. to the configurations we test in CI.