Nix CI for bundle coq-master

Test CI #6

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 4s
main	1m 4s
itauto	1m 38s
dpdgraph	1m 41s
paramcoq	1m 4s
serapi	1m 3s
stdlib	3m 50s
vst	1m 4s
coq-lsp	0s
aac-tactics	3m 56s
bignums	4m 13s
ceres	3m 56s
coq-elpi	4m 10s
coq-ext-lib	3m 53s
coqhammer	3m 50s
equations	4m 0s
flocq	5m 9s
InfSeqExt	4m 9s
paco	4m 5s
smtcoq	4m 4s
stdpp	4m 59s
StructTact	3m 58s
tlc	3m 51s
simple-io	0s
parsec	0s
Cheerios	1m 52s
trakt	0s
hierarchy-builder	0s
mathcomp-ssreflect	0s
autosubst	0s
coquelicot	0s
category-theory	0s
deriving	0s
mathcomp-bigenough	0s
mathcomp-fingroup	0s
mathcomp-finmap	0s
QuickChick	0s
relation-algebra	0s
mathcomp-algebra	0s
coqprime	1m 50s
math-classes	1m 45s
fourcolor	0s
mathcomp-classical	0s
mathcomp-solvable	0s
mathcomp-word	0s
mathcomp-zify	0s
mathcomp-field	0s
mathcomp-analysis	0s
mathcomp-character	0s
mathcomp	0s
odd-order	0s
iris	4m 44s
compcert	2m 59s
Verdi	0s
corn	0s
	1h 23m 51s