Testing HB 1.8.0 #497

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Testing HB 1.8.0 #497

Usage

Testing HB 1.8.0 #497

Jobs

Run details

Run time