Skip to content
Nix CI for bundle coq-master

Update Pull Request template #130

Sign in to view logs

Update Pull Request template

Update Pull Request template #130

Run time

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