Update Pull Request template #128

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Update Pull Request template #128

Usage

Update Pull Request template #128

Jobs

Run details

Run time