Skip to content
Test compilation

Build fixes: certicoq and metacoq build scripts in coq 8.17.1 #275

Sign in to view logs

Build fixes: certicoq and metacoq build scripts in coq 8.17.1

Build fixes: certicoq and metacoq build scripts in coq 8.17.1 #275

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-matrix (coq-certicoq.opam, mattam82/coq:8.17--ocaml-4.13.1--clang-11--compcert-3.12--extlib...
1m 42s
1m 42s