Nix CI for bundle 8.19

Test ocamlPackages.elpi: add 1.18.2 #451

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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