update #107

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (mathcomp/mathcomp:1.14.0-coq-8.14)	10m 15s
build (mathcomp/mathcomp:1.14.0-coq-8.15)	10m 2s
build (mathcomp/mathcomp:1.14.0-coq-8.16)	13s
build (mathcomp/mathcomp:1.14.0-coq-8.17)	11s
build (mathcomp/mathcomp:1.14.0-coq-8.18)	16s
build (mathcomp/mathcomp:1.15.0-coq-8.14)	10m 41s
build (mathcomp/mathcomp:1.15.0-coq-8.15)	10m 28s
build (mathcomp/mathcomp:1.15.0-coq-8.16)	9m 43s
build (mathcomp/mathcomp:1.15.0-coq-8.17)	8s
build (mathcomp/mathcomp:1.15.0-coq-8.18)	8s
build (mathcomp/mathcomp:1.16.0-coq-8.14)	14m 57s
build (mathcomp/mathcomp:1.16.0-coq-8.15)	14m 50s
build (mathcomp/mathcomp:1.16.0-coq-8.16)	13m 25s
build (mathcomp/mathcomp:1.16.0-coq-8.17)	12m 55s
build (mathcomp/mathcomp:1.16.0-coq-8.18)	12m 51s
build (mathcomp/mathcomp:1.17.0-coq-8.14)	15s
build (mathcomp/mathcomp:1.17.0-coq-8.15)	14m 45s
build (mathcomp/mathcomp:1.17.0-coq-8.16)	13m 23s
build (mathcomp/mathcomp:1.17.0-coq-8.17)	12m 55s
build (mathcomp/mathcomp:1.17.0-coq-8.18)	12m 58s
build (mathcomp/mathcomp:1.18.0-coq-8.14)	12s
build (mathcomp/mathcomp:1.18.0-coq-8.15)	11s
build (mathcomp/mathcomp:1.18.0-coq-8.16)	13m 17s
build (mathcomp/mathcomp:1.18.0-coq-8.17)	13m 12s
build (mathcomp/mathcomp:1.18.0-coq-8.18)	12m 46s
	3h 34m 57s