Nix CI for bundle 8.16

Merge pull request #272 from proux01/parsec_020 #701

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
aac-tactics	34s
bbv	44s
bignums	2m 25s
ceres	51s
coq-elpi	1m 49s
coq-ext-lib	37s
coq-hammer-tactics	2m 19s
coqide	36s
coq-record-update	33s
coq-shell	2m 28s
dpdgraph	2m 33s
HoTT	34s
InfSeqExt	34s
LibHyps	34s
MenhirLib	35s
StructTact	34s
equations	37s
flocq	43s
high-school-geometry	1m 3s
itauto	1m 26s
mathcomp-ssreflect	1m 33s
paco	35s
metalib	35s
paramcoq	1m 51s
pocklington	55s
semantics	33s
serapi	2m 5s
smtcoq	1m 17s
stdpp	39s
tlc	1m 8s
zorns-lemma	33s
parsec	52s
simple-io	39s
Cheerios	34s
hydra-battles	51s
metacoq-template-coq	34s
gappalib	34s
compcert	1m 6s
ITree	35s
hierarchy-builder	5m 1s
trakt	3m 37s
iris	39s
topology	34s
math-classes	2m 31s
CoLoR	33s
coqprime	2m 25s
category-theory	2m 12s
deriving	6m 32s
coquelicot	1m 8s
autosubst	2m 31s
mathcomp-bigenough	56s
mathcomp-fingroup	34s
mathcomp-finmap	2m 8s
reglang	2m 5s
relation-algebra	35s
coq-hammer	1m 30s
coq-lsp	56s
Verdi	35s
metacoq-pcuic	2m 3s
QuickChick	34s
itree-io	33s
VST	1m 38s
json	38s
iris-named-props	48s
goedel	36s
vcfloat	1m 54s
mathcomp-tarjan	1m 49s
mathcomp-algebra	34s
interval	51s
corn	34s
async-test	40s
coq-bits	38s
fourcolor	35s
gaia	39s
addition-chains	38s
mathcomp-solvable	34s
mathcomp-classical	37s
mathcomp-word	36s
mathcomp-zify	34s
multinomials	33s
extructures	34s
metacoq-safechecker	34s
http	37s
graph-theory	35s
mathcomp-field	38s
gaia-hydras	34s
mathcomp-algebra-tactics	34s
metacoq-erasure	35s
mathcomp-analysis	39s
mathcomp-character	34s
mathcomp-real-closed	35s
metacoq	37s
mathcomp	1m 13s
mathcomp-infotheo	38s
coqeal	39s
mathcomp-apery	34s
	1h 46m 0s