Skip to content
Test compilation

Fix rocq_makefile call #416

Sign in to view logs

Fix rocq_makefile call

Fix rocq_makefile call #416

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 10s
4m 10s