Skip to content
Compile and test

Refactor benchmarks into tests #516

Sign in to view logs

Refactor benchmarks into tests

Refactor benchmarks into tests #516

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-matrix (rocq-certirocq.opam, mattam82/metacoq:metarocq-1.5.1-rocq-9.1)
1h 7m 51s
1h 7m 51s