Skip to content
Nix CI for bundle rocq-master

Merge pull request #224 from SkySkimmer/test-1844 #552

Sign in to view logs

Merge pull request #224 from SkySkimmer/test-1844

Merge pull request #224 from SkySkimmer/test-1844 #552

Triggered via push November 24, 2025 21:45
@andres-erbsenandres-erbsen
pushed 995998a
master
Status Success
Total duration 2h 0m 14s
Artifacts –

nix-action-rocq-master.yml

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