Testing HB 1.8.0 #831

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Testing HB 1.8.0 #831

Usage

Testing HB 1.8.0 #831

Jobs

Run details

Run time