Skip to content
Docker CI

Merge pull request #18 from coq-community/mc_1223 #58

Sign in to view logs

Merge pull request #18 from coq-community/mc_1223

Merge pull request #18 from coq-community/mc_1223 #58

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp-dev:coq-dev)
9m 45s
build (mathcomp/mathcomp-dev:coq-8.19)
9m 25s
build (mathcomp/mathcomp-dev:coq-8.18)
9m 55s
build (mathcomp/mathcomp:2.2.0-coq-8.19)
9m 1s
build (mathcomp/mathcomp:2.1.0-coq-8.18)
27m 9s
build (mathcomp/mathcomp:2.1.0-coq-8.17)
30m 20s
build (mathcomp/mathcomp:2.1.0-coq-8.16)
31m 56s
build (mathcomp/mathcomp:2.0.0-coq-8.18)
28m 33s
build (mathcomp/mathcomp:2.0.0-coq-8.17)
28m 32s
build (mathcomp/mathcomp:2.0.0-coq-8.16)
32m 24s
3h 37m 0s