Nix CI for bundle 8.17

changes for nixpkgs PR 285276 #326

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 17s
InfSeqExt	59s
HoTT	59s
LibHyps	59s
aac-tactics	1m 4s
StructTact	58s
bignums	1m 7s
ceres	57s
coq-elpi	1m 1s
coq-ext-lib	58s
coq-record-update	1m 1s
coqide	1m 5s
coq-shell	1m 4s
dpdgraph	59s
equations	59s
itauto	58s
flocq	1m 3s
mathcomp-ssreflect	59s
metalib	1m 7s
paco	1m 2s
paramcoq	1m 5s
pocklington	1m 5s
semantics	59s
serapi	59s
stdpp	59s
zorns-lemma	58s
Cheerios	1m 3s
simple-io	1m 0s
parsec	1m 4s
trakt	59s
hierarchy-builder	1m 0s
coqprime	59s
CoLoR	58s
math-classes	59s
gappalib	1m 4s
compcert	1m 4s
metacoq-template-coq	1m 1s
coquelicot	58s
category-theory	1m 0s
autosubst	1m 5s
deriving	1m 4s
mathcomp-bigenough	1m 5s
mathcomp-fingroup	1m 3s
mathcomp-finmap	59s
reglang	1m 4s
relation-algebra	1m 4s
ITree	1m 0s
coq-lsp	59s
topology	1m 3s
iris	1m 0s
QuickChick	59s
Verdi	1m 2s
corn	1m 5s
metacoq-pcuic	1m 4s
extructures	1m 0s
interval	1m 5s
mathcomp-algebra	1m 5s
VST	1m 4s
iris-named-props	58s
metacoq-safechecker	58s
vcfloat	1m 6s
fourcolor	1m 0s
addition-chains	59s
mathcomp-word	1m 3s
gaia	1m 0s
mathcomp-classical	1m 5s
mathcomp-solvable	1m 0s
mathcomp-zify	1m 4s
multinomials	59s
metacoq-erasure	59s
graph-theory	1m 1s
mathcomp-field	1m 4s
mathcomp-algebra-tactics	1m 3s
metacoq	1m 1s
mathcomp-analysis	59s
mathcomp-real-closed	1m 0s
mathcomp-character	1m 5s
coqeal	59s
mathcomp-infotheo	59s
mathcomp	57s
	1h 21m 59s