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 #162 (comment)
I set up Github Action CI checks for an OCaml project a few weeks ago. Should I give it a try?