Nix CI for bundle coq-8.19

[CI] Update Nix toolbox #126

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
hierarchy-builder	36s
mathcomp-ssreflect	38s
mathcomp-single	8m 59s
coquelicot	40s
QuickChick	35s
autosubst	40s
deriving	37s
mathcomp-bigenough	36s
mathcomp-fingroup	42s
mathcomp-finmap	36s
reglang	36s
relation-algebra	35s
async-test	42s
interval	44s
mathcomp-algebra	42s
http	36s
coq-bits	37s
mathcomp-solvable	41s
fourcolor	13m 6s
mathcomp-classical	38s
multinomials	2m 6s
vcfloat	43s
mathcomp-field	36s
mathcomp-reals	42s
mathcomp-real-closed	43s
mathcomp-character	39s
mathcomp-analysis	13m 2s
mathcomp-altreals	35s
mathcomp-reals-stdlib	38s
coqeal	45s
mathcomp	1m 40s
odd-order	12m 26s
mathcomp-analysis-stdlib	13m 19s
	1h 22m 4s