Skip to content
Test compilation

More renamings / html fixes #414

Sign in to view logs

More renamings / html fixes

More renamings / html fixes #414

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