Skip to content
Docker CI

Curry is continuous #2871

Sign in to view logs

Curry is continuous

Curry is continuous #2871

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:1.13.0-coq-8.14)
13m 33s
build (mathcomp/mathcomp:1.13.0-coq-8.15)
14m 59s
build (mathcomp/mathcomp:1.14.0-coq-8.14)
14m 42s
build (mathcomp/mathcomp:1.14.0-coq-8.15)
13m 6s
build (mathcomp/mathcomp:1.15.0-coq-8.14)
14m 1s
build (mathcomp/mathcomp:1.15.0-coq-8.15)
13m 19s
build (mathcomp/mathcomp:1.15.0-coq-8.16)
13m 30s
build (mathcomp/mathcomp:1.16.0-coq-8.14)
22m 16s
build (mathcomp/mathcomp:1.16.0-coq-8.15)
27m 59s
build (mathcomp/mathcomp:1.16.0-coq-8.16)
17m 52s
build (mathcomp/mathcomp-dev:coq-8.14)
11s
build (mathcomp/mathcomp-dev:coq-8.15)
10s
build (mathcomp/mathcomp-dev:coq-8.16)
42m 33s
build (mathcomp/mathcomp-dev:coq-dev)
36m 59s
4h 5m 10s