Nix CI for bundle 8.17

Add MenhirLib & use it in CompCert (#249) #526

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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