Nix CI for bundle 8.17

interval: 4.10.0 → 4.11.0 (#247) #518

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
aac-tactics	33s
bignums	38s
HoTT	35s
InfSeqExt	34s
LibHyps	34s
StructTact	39s
ceres	35s
coq-elpi	34s
coq-ext-lib	34s
coq-hammer-tactics	33s
coqide	36s
coq-record-update	36s
coq-shell	34s
dpdgraph	33s
equations	33s
flocq	34s
high-school-geometry	34s
itauto	36s
mathcomp-ssreflect	36s
metalib	34s
paramcoq	37s
pocklington	36s
paco	37s
semantics	33s
smtcoq	38s
serapi	33s
stdpp	33s
zorns-lemma	37s
math-classes	34s
CoLoR	41s
coqprime	38s
simple-io	36s
parsec	38s
trakt	34s
hierarchy-builder	40s
coq-hammer	43s
metacoq-template-coq	37s
Cheerios	36s
compcert	36s
gappalib	37s
autosubst	33s
category-theory	41s
coquelicot	36s
deriving	37s
mathcomp-bigenough	36s
mathcomp-fingroup	35s
mathcomp-finmap	36s
relation-algebra	37s
reglang	37s
ITree	36s
coq-lsp	1m 20s
iris	38s
topology	33s
QuickChick	36s
metacoq-pcuic	37s
vcfloat	36s
Verdi	39s
extructures	35s
interval	2m 24s
mathcomp-algebra	34s
corn	34s
VST	35s
iris-named-props	47s
metacoq-safechecker	37s
fourcolor	37s
addition-chains	33s
gaia	33s
mathcomp-classical	35s
mathcomp-solvable	36s
mathcomp-word	37s
multinomials	33s
mathcomp-zify	37s
metacoq-erasure	37s
graph-theory	33s
mathcomp-field	32s
mathcomp-algebra-tactics	34s
mathcomp-real-closed	34s
mathcomp-analysis	36s
mathcomp-character	35s
metacoq	36s
coqeal	33s
mathcomp-infotheo	33s
mathcomp	37s
	52m 36s