Skip to content
Docker CI

Merge pull request #38 from affeldt-aist/release_0.2 #110

Sign in to view logs

Merge pull request #38 from affeldt-aist/release_0.2

Merge pull request #38 from affeldt-aist/release_0.2 #110

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:1.16.0-coq-8.14)
14m 55s
build (mathcomp/mathcomp:1.16.0-coq-8.15)
14m 43s
build (mathcomp/mathcomp:1.16.0-coq-8.16)
12m 40s
build (mathcomp/mathcomp:1.16.0-coq-8.17)
12m 54s
build (mathcomp/mathcomp:1.16.0-coq-8.18)
12m 54s
build (mathcomp/mathcomp:1.17.0-coq-8.15)
14m 37s
build (mathcomp/mathcomp:1.17.0-coq-8.16)
13m 22s
build (mathcomp/mathcomp:1.17.0-coq-8.17)
12m 53s
build (mathcomp/mathcomp:1.17.0-coq-8.18)
12m 43s
build (mathcomp/mathcomp:1.18.0-coq-8.16)
13m 28s
build (mathcomp/mathcomp:1.18.0-coq-8.17)
12m 43s
build (mathcomp/mathcomp:1.18.0-coq-8.18)
12m 53s
2h 40m 45s