Skip to content
Docker CI

Port to MathComp 2 #144

Sign in to view logs

Port to MathComp 2

Port to MathComp 2 #144

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:1.12.0-coq-8.13)
5m 42s
build (mathcomp/mathcomp:1.12.0-coq-8.14)
7m 46s
build (mathcomp/mathcomp:1.13.0-coq-8.13)
5m 50s
build (mathcomp/mathcomp:1.13.0-coq-8.14)
7m 57s
build (mathcomp/mathcomp:1.13.0-coq-8.15)
5m 58s
build (mathcomp/mathcomp:1.14.0-coq-8.13)
8m 27s
build (mathcomp/mathcomp:1.14.0-coq-8.14)
6m 57s
build (mathcomp/mathcomp:1.14.0-coq-8.15)
6m 2s
build (mathcomp/mathcomp:1.15.0-coq-8.13)
6m 7s
build (mathcomp/mathcomp:1.15.0-coq-8.14)
5m 41s
build (mathcomp/mathcomp:1.15.0-coq-8.15)
5m 54s
build (mathcomp/mathcomp:1.15.0-coq-8.16)
7m 18s
build (mathcomp/mathcomp:1.16.0-coq-8.13)
5m 53s
build (mathcomp/mathcomp:1.16.0-coq-8.14)
6m 33s
build (mathcomp/mathcomp:1.16.0-coq-8.15)
5m 43s
build (mathcomp/mathcomp:1.16.0-coq-8.16)
5m 39s
build (mathcomp/mathcomp:1.16.0-coq-8.17)
6m 43s
build (mathcomp/mathcomp-dev:coq-8.16)
11m 46s
build (mathcomp/mathcomp-dev:coq-8.17)
10m 1s
build (mathcomp/mathcomp-dev:coq-dev)
12m 43s
2h 24m 40s