Skip to content
Nix CI for bundle coq-master

Update Pull Request template #99

Sign in to view logs

Update Pull Request template

Update Pull Request template #99

Run time

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