chore(build) CircleCI properly uses the OCAML_VERSION variable

querycert / qcert

Compilation and Verification of Data-Centric Languages

https://querycert.github.io/

Apache License 2.0

56 stars 9 forks source link

Closed jeromesimeon closed 4 years ago

jeromesimeon commented 4 years ago

Signed-off-by: Jerome Simeon jeromesimeon@me.com

jeromesimeon commented 4 years ago

I'm leaving this open until we have switched to the new Coq. This shows how to run CircleCI with multiple OCaml versions.