Skip to content
Docker CI

Merge pull request #52 from math-comp/ci #89

Sign in to view logs

Merge pull request #52 from math-comp/ci

Merge pull request #52 from math-comp/ci #89

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.0.0-coq-8.16)
31m 3s
build (mathcomp/mathcomp:2.0.0-coq-8.17)
27m 51s
build (mathcomp/mathcomp:2.0.0-coq-8.18)
21m 16s
build (mathcomp/mathcomp:2.1.0-coq-8.16)
4m 6s
build (mathcomp/mathcomp:2.1.0-coq-8.17)
4m 47s
build (mathcomp/mathcomp:2.1.0-coq-8.18)
3m 37s
build (mathcomp/mathcomp:2.1.0-coq-dev)
5m 45s
build (mathcomp/mathcomp-dev:coq-8.16)
5m 38s
build (mathcomp/mathcomp-dev:coq-8.17)
5m 51s
build (mathcomp/mathcomp-dev:coq-8.18)
5m 15s
build (mathcomp/mathcomp-dev:coq-dev)
5m 22s
2h 0m 31s