Merge pull request #109 from SkySkimmer/approve-out #43

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 13s
unicoq	1m 14s
stdlib	3m 40s
stdlib-subcomponents	4m 29s
stdlib-html	3m 59s
aac-tactics	1m 45s
argosy	2m 2s
ExtLib	1m 45s
InfSeqExt	1m 41s
MenhirLib	2m 4s
StructTact	1m 47s
atbr	2m 29s
bbv	1m 50s
bignums	1m 59s
ceres	1m 49s
coinduction	1m 42s
coq-elpi	1m 51s
coq-hammer-tactics	1m 42s
coq-performance-tests	15m 46s
coq-tools	6m 57s
cross-crypto	6m 35s
coqutil	2m 25s
dpdgraph-test	1m 46s
engine-bench	5m 43s
equations	1m 51s
itauto	3m 6s
flocq	2m 46s
kami	4m 34s
mtac2	2m 5s
neural-net-coq-interp	2m 14s
paco	1m 51s
paramcoq-test	1m 45s
rewriter	6m 8s
sf	3m 23s
stalmarck	1m 47s
smtcoq	2m 8s
stdlib-refman-html	3m 56s
stdlib-test	4m 13s
stdpp	2m 38s
tlc	2m 3s
waterproof	2m 21s
simple-io	1m 53s
parsec	1m 49s
CoLoR	6m 50s
coqprime	2m 35s
math-classes	2m 31s
bignums-test	1m 39s
coq-hammer	1m 52s
coq-elpi-test	2m 11s
trakt	1m 47s
hierarchy-builder	1m 43s
equations-test	2m 44s
metacoq-utils	2m 10s
riscvcoq	7m 10s
ITree	3m 24s
vst	15m 1s
compcert	4m 42s
stalmarck-tactic	2m 3s
iris	6m 41s
Cheerios	1m 49s
json	2m 8s
mathcomp-ssreflect	3m 25s
fiat-crypto-legacy	18m 35s
smtcoq-trakt	2m 27s
corn	7m 54s
metacoq-common	2m 27s
itree-io	3m 16s
bedrock2	37m 8s
autosubst	3m 19s
category-theory	8m 48s
coquelicot	3m 48s
deriving	3m 46s
QuickChick	3m 43s
Verdi	3m 58s
mathcomp-bigenough	3m 20s
mathcomp-fingroup	3m 59s
mathcomp-finmap	3m 47s
relation-algebra	4m 29s
metacoq-template-coq	2m 55s
metacoq-pcuic	12m 17s
iris-examples	9m 29s
quickchick-test	2m 49s
async-test	2m 22s
mathcomp-algebra	3m 53s
VerdiRaft	6m 42s
metacoq-translations	1m 54s
metacoq-safechecker	16m 58s
metacoq-template-pcuic	12m 13s
rupicola	3m 7s
http	2m 32s
fcsl-pcm	4m 46s
fourcolor	15m 57s
mathcomp-classical	5m 18s
mathcomp-solvable	5m 12s
mathcomp-word	4m 1s
mathcomp-zify	4m 7s
fiat-crypto	37m 5s
metacoq-quotation	7m 34s
jasmin	8m 46s
metacoq-erasure	7m 13s
metacoq-safechecker-plugin	1m 58s
mathcomp-field	3m 40s
mathcomp-reals	4m 2s
mathcomp-character	4m 40s
mathcomp-analysis	12m 2s
mathcomp-experimental-reals	2m 18s
mathcomp-reals-stdlib	1m 55s
metacoq-erasure-plugin	8m 19s
mathcomp	2m 3s
metacoq	3m 7s
mathcomp-test	8m 30s
odd-order	9m 48s
mathcomp-analysis-stdlib	2m 10s
metacoq-test	3m 16s
fiat-crypto-ocaml	13m 50s
	9h 36m 41s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Merge pull request #109 from SkySkimmer/approve-out #43

Usage

Merge pull request #109 from SkySkimmer/approve-out #43

Jobs

Run details

Run time