Skip to content
Nix CI for bundle coq-master

fixing CI #135

Sign in to view logs

fixing CI

fixing CI #135

Run time

Learn about OS pricing on GitHub Actions
Job Run time
smtcoq-trakt
4m 58s
coq
1m 12s
stdlib-refman-html
4m 6s
stdlib-html
4m 7s
stdlib-subcomponents
4m 28s
stdlib-test
6m 31s
stdlib
3m 54s
InfSeqExt
1m 47s
argosy
2m 12s
MenhirLib
2m 16s
aac-tactics
1m 48s
StructTact
1m 58s
atbr
2m 41s
bbv
1m 56s
bignums
2m 8s
ceres
1m 52s
coinduction
1m 54s
coq-elpi
1m 8s
coq-hammer-tactics
1m 56s
coq-ext-lib
1m 56s
coq-performance-tests
15m 54s
coq-tools
1m 51s
coqutil
2m 43s
cross-crypto
6m 33s
dpdgraph-test
1m 50s
engine-bench
5m 49s
equations
2m 1s
flocq
2m 56s
itauto
3m 8s
kami
4m 30s
neural-net-coq-interp
2m 26s
paco
2m 3s
paramcoq-test
1m 56s
perennial
12m 30s
rewriter
6m 14s
sf
3m 33s
smtcoq
2m 18s
stalmarck
2m 2s
stdpp
2m 51s
tlc
2m 11s
waterproof
2m 13s
coq-elpi-test
3m 3s
trakt
1m 9s
hierarchy-builder
2m 3s
coq-hammer
1m 57s
parsec
2m 11s
simple-io
1m 51s
Cheerios
2m 0s
CoLoR
7m 23s
bignums-test
2m 8s
coqprime
2m 47s
math-classes
3m 7s
riscvcoq
7m 15s
metacoq-template-coq
4m 9s
equations-test
2m 45s
ITree
3m 36s
compcert
4m 58s
vst
15m 21s
iris
6m 29s
stalmarck-tactic
2m 8s
hierarchy-builder-test
2m 31s
mathcomp-ssreflect
4m 2s
json
2m 23s
corn
8m 59s
itree-io
3m 27s
metacoq-pcuic
12m 56s
category-theory
7m 17s
deriving
2m 24s
autosubst
1m 54s
coquelicot
2m 24s
mathcomp-bigenough
1m 58s
mathcomp-fingroup
2m 35s
mathcomp-finmap
2m 5s
QuickChick
2m 24s
relation-algebra
3m 2s
Verdi
2m 37s
bedrock2
34m 15s
iris-examples
10m 31s
quickchick-test
2m 57s
async-test
2m 43s
mathcomp-algebra
4m 44s
VerdiRaft
6m 52s
http
2m 46s
mathcomp-classical
5m 11s
fourcolor
15m 48s
mathcomp-solvable
5m 32s
mathcomp-word
4m 16s
mathcomp-zify
4m 8s
metacoq-safechecker
17m 41s
jasmin
7m 43s
mathcomp-field
4m 15s
mathcomp-analysis
11m 37s
mathcomp-character
5m 29s
mathcomp
3m 10s
odd-order
10m 51s
mathcomp-test
2m 8s
metacoq-erasure
13m 36s
rupicola
3m 27s
fiat-crypto
48m 42s
metacoq
18m 31s
8h 48m 31s