Back to pull request #457

[CI] Update Nix toolbox #314

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
hierarchy-builder	1m 17s
mathcomp-ssreflect	5m 43s
mathcomp-single	9m 2s
Verdi	1m 40s
autosubst	1m 13s
coquelicot	1m 41s
deriving	1m 41s
mathcomp-bigenough	1m 13s
QuickChick	1m 40s
mathcomp-fingroup	1m 47s
mathcomp-finmap	1m 25s
reglang	1m 35s
async-test	1m 23s
interval	2m 31s
mathcomp-algebra	4m 45s
http	1m 31s
addition-chains	5m 16s
fourcolor	16m 17s
coq-bits	4m 34s
mathcomp-classical	38s
mathcomp-solvable	6m 8s
multinomials	5m 30s
mathcomp-field	3m 49s
mathcomp-character	2m 51s
mathcomp-real-closed	2m 31s
mathcomp-analysis	38s
mathcomp	2m 53s
coqeal	3m 29s
odd-order	13m 18s
	1h 48m 34s