Skip to content
Test compilation

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

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 #277

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...
1h 6m 34s
1h 6m 34s