Skip to content
Docker CI

Drop MC 2.0 support #133

Sign in to view logs

Drop MC 2.0 support

Drop MC 2.0 support #133

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.0.0-coq-8.16)
29m 38s
build (mathcomp/mathcomp:2.0.0-coq-8.17)
25m 38s
build (mathcomp/mathcomp:2.0.0-coq-8.18)
25m 26s
build (mathcomp/mathcomp:2.1.0-coq-8.16)
31m 19s
build (mathcomp/mathcomp:2.1.0-coq-8.17)
26m 40s
build (mathcomp/mathcomp:2.1.0-coq-8.18)
25m 48s
build (mathcomp/mathcomp:2.2.0-coq-8.16)
30m 43s
build (mathcomp/mathcomp:2.2.0-coq-8.17)
26m 46s
build (mathcomp/mathcomp:2.2.0-coq-8.18)
26m 18s
build (mathcomp/mathcomp:2.2.0-coq-8.19)
24m 45s
build (mathcomp/mathcomp:2.2.0-coq-dev)
6m 49s
build (mathcomp/mathcomp-dev:coq-8.16)
33m 53s
build (mathcomp/mathcomp-dev:coq-8.17)
30m 55s
build (mathcomp/mathcomp-dev:coq-8.18)
6m 32s
build (mathcomp/mathcomp-dev:coq-8.19)
6m 23s
build (mathcomp/mathcomp-dev:coq-dev)
6m 26s
6h 3m 59s