Skip to content
Docker CI

Port to Elpi mlock #166

Sign in to view logs

Port to Elpi mlock

Port to Elpi mlock #166

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.2.0-coq-8.20)
2m 56s
build (mathcomp/mathcomp:2.5.0-rocq-prover-9.0)
3m 43s
build (mathcomp/mathcomp-dev:rocq-prover-dev)
2m 47s
build (mathcomp/mathcomp:2.4.0-rocq-prover-9.1)
3m 16s
build (mathcomp/mathcomp:2.5.0-rocq-prover-9.1)
3m 45s
build (mathcomp/mathcomp:2.3.0-coq-8.20)
3m 42s
build (mathcomp/mathcomp:2.4.0-rocq-prover-9.0)
5m 36s
build (mathcomp/mathcomp-dev:rocq-prover-9.1)
2m 45s
28m 30s