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

Run time

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