Testing HB 1.8.0 #638

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Testing HB 1.8.0 #638

Usage

Testing HB 1.8.0 #638

Jobs

Run details

Run time