qcert icon indicating copy to clipboard operation
qcert copied to clipboard
verified publisher icon querycert

New CI

Open pkel opened this issue 4 years ago • 0 comments

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?

pkel avatar Sep 10 '21 06:09 pkel