Nix CI for bundle 8.18

relation-algebra 1.7.10 & 1.7.11 #512

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
HoTT	33s
InfSeqExt	34s
LibHyps	38s
MenhirLib	34s
aac-tactics	31s
bbv	37s
bignums	38s
ceres	32s
coq-elpi	34s
StructTact	33s
coq-ext-lib	38s
coq-hammer-tactics	33s
coqide	35s
coq-lsp	38s
coq-record-update	34s
coq-shell	34s
coqutil	33s
dpdgraph	37s
equations	34s
flocq	33s
high-school-geometry	32s
itauto	37s
paco	37s
metalib	33s
paramcoq	33s
pocklington	36s
rewriter	37s
serapi	35s
smtcoq	34s
semantics	32s
stdpp	34s
vscoq-language-server	34s
waterproof	33s
zorns-lemma	33s
Cheerios	34s
hierarchy-builder	33s
coq-hammer	33s
CoLoR	32s
math-classes	38s
coqprime	36s
simple-io	32s
parsec	32s
gappalib	33s
compcert	39s
metacoq-template-coq	32s
ITree	35s
iris	36s
topology	33s
mathcomp-ssreflect	38s
json	34s
corn	38s
metacoq-pcuic	33s
vcfloat	40s
VST	34s
itree-io	32s
iris-named-props	32s
metacoq-safechecker	33s
Verdi	34s
QuickChick	34s
autosubst	33s
mathcomp-bigenough	34s
coquelicot	33s
deriving	34s
mathcomp-fingroup	35s
mathcomp-finmap	33s
reglang	35s
relation-algebra	2m 4s
metacoq-erasure	37s
async-test	35s
extructures	33s
mathcomp-algebra	34s
interval	2m 26s
mathcomp-tarjan	33s
metacoq	39s
http	34s
fourcolor	39s
addition-chains	34s
gaia	33s
mathcomp-classical	40s
mathcomp-solvable	38s
mathcomp-zify	37s
mathcomp-word	39s
multinomials	35s
RustExtraction	36s
ElmExtraction	35s
graph-theory	35s
mathcomp-field	38s
mathcomp-algebra-tactics	32s
mathcomp-analysis	34s
mathcomp-character	35s
mathcomp-real-closed	39s
mathcomp-infotheo	35s
ssprove	34s
mathcomp	38s
coqeal	34s
	59m 2s