Skip to content
Docker CI

update #108

Sign in to view logs

update

update #108

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:1.14.0-coq-8.14)
10m 5s
build (mathcomp/mathcomp:1.14.0-coq-8.15)
9m 45s
build (mathcomp/mathcomp:1.15.0-coq-8.14)
10m 40s
build (mathcomp/mathcomp:1.15.0-coq-8.15)
10m 21s
build (mathcomp/mathcomp:1.15.0-coq-8.16)
9m 42s
build (mathcomp/mathcomp:1.16.0-coq-8.14)
14m 54s
build (mathcomp/mathcomp:1.16.0-coq-8.15)
14m 39s
build (mathcomp/mathcomp:1.16.0-coq-8.16)
13m 31s
build (mathcomp/mathcomp:1.16.0-coq-8.17)
13m 1s
build (mathcomp/mathcomp:1.16.0-coq-8.18)
12m 38s
build (mathcomp/mathcomp:1.17.0-coq-8.14)
13s
build (mathcomp/mathcomp:1.17.0-coq-8.15)
14m 45s
build (mathcomp/mathcomp:1.17.0-coq-8.16)
13m 41s
build (mathcomp/mathcomp:1.17.0-coq-8.17)
13m 20s
build (mathcomp/mathcomp:1.17.0-coq-8.18)
13m 0s
build (mathcomp/mathcomp:1.18.0-coq-8.14)
9s
build (mathcomp/mathcomp:1.18.0-coq-8.15)
9s
build (mathcomp/mathcomp:1.18.0-coq-8.16)
13m 27s
build (mathcomp/mathcomp:1.18.0-coq-8.17)
12m 53s
build (mathcomp/mathcomp:1.18.0-coq-8.18)
12m 52s
3h 33m 45s