Skip to content
Compile and bench

Update build.yml and .opam file to use released MetaCoq 1.3.2 and cor… #391

Sign in to view logs

Update build.yml and .opam file to use released MetaCoq 1.3.2 and cor…

Update build.yml and .opam file to use released MetaCoq 1.3.2 and cor… #391

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
36m 48s
36m 48s