Skip to content
Docker CI

lemma from MathComp-Analysis' unstable.v #128

Sign in to view logs

lemma from MathComp-Analysis' unstable.v

lemma from MathComp-Analysis' unstable.v #128

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.3.0-coq-8.20)
6m 11s
build (mathcomp/mathcomp-dev:rocq-prover-dev)
5m 58s
build (mathcomp/mathcomp-dev:coq-8.20)
3m 25s
build (mathcomp/mathcomp:2.3.0-coq-8.20)
6m 3s
21m 37s