Open pkel opened 3 years ago
and we need a new CI... CircleCI doesn't know how to install opam / ocaml / coq anymore
Originally posted by @jeromesimeon in https://github.com/querycert/qcert/issues/162#issuecomment-916438193
I set up Github Action CI checks for an OCaml project a few weeks ago. Should I give it a try?
and we need a new CI... CircleCI doesn't know how to install opam / ocaml / coq anymore
Originally posted by @jeromesimeon in https://github.com/querycert/qcert/issues/162#issuecomment-916438193
I set up Github Action CI checks for an OCaml project a few weeks ago. Should I give it a try?