Update Pull Request template #211

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Update Pull Request template #211

Usage

Update Pull Request template #211

Jobs

Run details

Run time