Skip to content
Test compilation

Update opam file #415

Sign in to view logs

Update opam file

Update opam file #415

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-matrix (coq-verified-extraction.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
4m 9s
4m 9s