Skip to content
Back to pull request #303

Testing HB 1.8.0 #498

Sign in to view logs

Testing HB 1.8.0

Testing HB 1.8.0 #498

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
37s
coqide
1m 22s
coq-record-update
1m 9s
coq-shell
1m 9s
coq-tactical
1m 5s
dpdgraph
1m 8s
high-school-geometry
2m 14s
HoTT
2m 58s
LibHyps
1m 7s
itauto
2m 24s
paramcoq
1m 5s
metalib
1m 9s
Ordinal
1m 13s
pocklington
1m 12s
semantics
1m 20s
serapi
1m 46s
stdlib
1m 6s
zorns-lemma
1m 13s
ExtLib
1m 19s
aac-tactics
1m 9s
bbv
1m 15s
bignums
1m 26s
InfSeqExt
1m 7s
MenhirLib
1m 16s
StructTact
1m 12s
ceres
1m 9s
coq-elpi
2m 33s
coq-hammer-tactics
1m 13s
equations
1m 12s
flocq
2m 15s
paco
1m 18s
smtcoq
1m 47s
stdpp
2m 9s
tlc
1m 32s
topology
1m 22s
coq-lsp
1m 21s
simple-io
1m 18s
Cheerios
1m 13s
parsec
1m 25s
math-classes
2m 1s
CoLoR
6m 42s
coqprime
1m 50s
coq-hammer
1m 11s
hydra-battles
2m 3s
metacoq-utils
1m 5s
ITree
3m 20s
trakt
2m 28s
hierarchy-builder
2m 28s
iris
4m 57s
compcert
4m 59s
gappalib
2m 24s
json
1m 12s
metacoq-common
1m 8s
corn
8m 22s
goedel
2m 8s
mathcomp-ssreflect
4m 8s
VST
19m 53s
itree-io
2m 53s
iris-named-props
1m 10s
vcfloat
6m 46s
metacoq-template-coq
3m 16s
Verdi
1m 42s
QuickChick
1m 40s
category-theory
18m 1s
autosubst
1m 18s
coquelicot
36s
mathcomp-bigenough
1m 17s
mathcomp-fingroup
38s
mathcomp-finmap
1m 32s
reglang
1m 30s
relation-algebra
2m 22s
metacoq-translations
1m 17s
metacoq-pcuic
9m 46s
mathcomp-algebra
6m 12s
mathcomp-tarjan
1m 33s
interval
2m 33s
async-test
1m 40s
http
1m 33s
gaia
8m 57s
addition-chains
6m 59s
mathcomp-zify
6m 44s
mathcomp-solvable
8m 21s
mathcomp-word
6m 34s
fourcolor
18m 13s
multinomials
7m 46s
metacoq-template-pcuic
10m 2s
metacoq-safechecker
13m 1s
mathcomp-algebra-tactics
2m 0s
mathcomp-field
7m 32s
graph-theory
17m 10s
metacoq-quotation
1m 11s
metacoq-erasure
4m 16s
metacoq-safechecker-plugin
1m 12s
mathcomp-real-closed
7m 38s
mathcomp-character
7m 0s
metacoq-erasure-plugin
1m 14s
metacoq
1m 17s
mathcomp
3m 14s
coqeal
6m 20s
5h 44m 3s