Skip to content
Nix CI for bundle rocq-master

Merge pull request #150 from andres-erbsen/early-lia #566

Sign in to view logs

Merge pull request #150 from andres-erbsen/early-lia

Merge pull request #150 from andres-erbsen/early-lia #566

Triggered via push January 31, 2026 18:18
@andres-erbsenandres-erbsen
pushed 31865e3
master
Status Success
Total duration 1h 42m 15s
Artifacts –

nix-action-rocq-master.yml

on: push
rocq-core
2m 21s
rocq-core
coq
1m 24s
coq
stdlib
3m 57s
stdlib
rocq-elpi
1m 40s
rocq-elpi
unicoq
1m 25s
unicoq
equations
1m 34s
equations
ExtLib
1m 29s
ExtLib
bignums
1m 40s
bignums
MenhirLib
2m 37s
MenhirLib
coqutil
2m 19s
coqutil
kami
4m 8s
kami
StructTact
1m 26s
StructTact
flocq
2m 40s
flocq
coq-hammer-tactics
2m 1s
coq-hammer-tactics
rewriter
5m 53s
rewriter
stdpp
2m 35s
stdpp
paco
1m 35s
paco
ceres
1m 21s
ceres
aac-tactics
1m 31s
aac-tactics
stalmarck
1m 32s
stalmarck
InfSeqExt
1m 27s
InfSeqExt
argosy
1m 45s
argosy
atbr
2m 14s
atbr
bbv
1m 32s
bbv
coinduction
1m 23s
coinduction
coq-performance-tests
15m 7s
coq-performance-tests
coq-tools
7m 0s
coq-tools
cross-crypto
6m 12s
cross-crypto
dpdgraph-test
1m 22s
dpdgraph-test
engine-bench
5m 22s
engine-bench
fiat-parsers
4m 54s
fiat-parsers
itauto
2m 39s
itauto
neural-net-coq-interp
2m 1s
neural-net-coq-interp
paramcoq-test
1m 27s
paramcoq-test
rocq-lean-import
1m 40s
rocq-lean-import
smtcoq
1m 55s
smtcoq
tlc
1m 43s
tlc
waterproof
2m 29s
waterproof
stdlib-refman-html
3m 50s
stdlib-refman-html
stdlib-test
3m 58s
stdlib-test
hierarchy-builder
2m 24s
hierarchy-builder
coq-elpi
2m 14s
coq-elpi
rocq-elpi-test
2m 13s
rocq-elpi-test
mtac2
1m 50s
mtac2
metarocq-utils
1m 48s
metarocq-utils
equations-test
2m 8s
equations-test
simple-io
1m 30s
simple-io
coqprime
2m 12s
coqprime
math-classes
2m 10s
math-classes
CoLoR
6m 21s
CoLoR
bignums-test
1m 26s
bignums-test
riscvcoq
4m 0s
riscvcoq
Cheerios
1m 24s
Cheerios
compcert
5m 29s
compcert
coq-hammer
1m 23s
coq-hammer
iris
5m 27s
iris
ITree
2m 50s
ITree
parsec
1m 27s
parsec
stalmarck-tactic
1m 20s
stalmarck-tactic
mathcomp-boot
2m 58s
mathcomp-boot
metarocq-common
2m 55s
metarocq-common
fiat-crypto-legacy
17m 31s
fiat-crypto-legacy
corn
7m 27s
corn
bedrock2
32m 35s
bedrock2
itree-io
1m 25s
itree-io
VST
19m 0s
VST
json
2m 42s
json
QuickChick
1m 55s
QuickChick
mathcomp-fingroup
2m 2s
mathcomp-fingroup
mathcomp-order
3m 14s
mathcomp-order
autosubst
1m 36s
autosubst
mathcomp-bigenough
1m 30s
mathcomp-bigenough
mathcomp-finmap
1m 44s
mathcomp-finmap
relation-algebra
2m 40s
relation-algebra
coquelicot
2m 7s
coquelicot
metarocq-pcuic
10m 52s
metarocq-pcuic
metarocq-template-rocq
2m 37s
metarocq-template-rocq
rupicola
2m 32s
rupicola
async-test
3m 22s
async-test
quickchick-test
2m 32s
quickchick-test
mathcomp-ssreflect
1m 34s
mathcomp-ssreflect
mathcomp-algebra
5m 31s
mathcomp-algebra
iris-examples
5m 21s
iris-examples
metarocq-safechecker
6m 42s
metarocq-safechecker
metarocq-template-pcuic
1m 58s
metarocq-template-pcuic
metarocq-translations
3m 23s
metarocq-translations
fiat-crypto
33m 18s
fiat-crypto
http
3m 8s
http
Verdi
2m 26s
Verdi
category-theory
6m 47s
category-theory
deriving
2m 35s
deriving
mathcomp-solvable
7m 2s
mathcomp-solvable
mathcomp-zify
6m 25s
mathcomp-zify
mathcomp-classical
7m 39s
mathcomp-classical
mathcomp-word
6m 8s
mathcomp-word
fcsl-pcm
7m 20s
fcsl-pcm
metarocq-erasure
6m 25s
metarocq-erasure
metarocq-safechecker-plugin
1m 43s
metarocq-safechecker-plugin
metarocq-quotation
9m 9s
metarocq-quotation
fiat-crypto-ocaml
13m 41s
fiat-crypto-ocaml
VerdiRaft
6m 12s
VerdiRaft
mathcomp-field
5m 23s
mathcomp-field
mathcomp-algebra-tactics
2m 44s
mathcomp-algebra-tactics
mathcomp-reals
4m 35s
mathcomp-reals
metarocq-erasure-plugin
9m 23s
metarocq-erasure-plugin
mathcomp-character
7m 11s
mathcomp-character
mathcomp-analysis
19m 42s
mathcomp-analysis
mathcomp-reals-stdlib
1m 49s
mathcomp-reals-stdlib
metarocq
1m 38s
metarocq
mathcomp
3m 35s
mathcomp
mathcomp-analysis-stdlib
2m 43s
mathcomp-analysis-stdlib
metarocq-test
3m 32s
metarocq-test
Fit to window
Zoom out
Zoom in