Back to pull request #457

[CI] Update Nix toolbox #30

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
hierarchy-builder	1m 14s
mathcomp-ssreflect	4m 6s
mathcomp-single	7m 56s
coquelicot	1m 40s
QuickChick	1m 40s
autosubst	1m 10s
mathcomp-bigenough	1m 17s
deriving	1m 43s
mathcomp-fingroup	1m 47s
mathcomp-finmap	1m 22s
relation-algebra	2m 9s
reglang	1m 35s
interval	2m 39s
mathcomp-algebra	3m 35s
coq-bits	3m 44s
fourcolor	16m 4s
mathcomp-classical	5m 39s
mathcomp-solvable	5m 13s
multinomials	4m 25s
mathcomp-field	3m 32s
mathcomp-reals	4m 17s
mathcomp-real-closed	4m 43s
mathcomp-character	5m 13s
mathcomp-reals-stdlib	4m 21s
mathcomp-analysis	16m 29s
mathcomp-altreals	4m 49s
coqeal	3m 20s
mathcomp	1m 31s
odd-order	11m 23s
mathcomp-analysis-stdlib	11m 47s
	2h 20m 57s