Update Pull Request template #129

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Update Pull Request template #129

Usage

Update Pull Request template #129

Jobs

Run details

Run time