Skip to content
Back to pull request #304

Test coq: keep compiling master #766

Sign in to view logs

Test coq: keep compiling master

Test coq: keep compiling master #766

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
39s
coq-lsp
37s
coqide
38s
coq-record-update
41s
coq-shell
37s
coqutil
39s
dpdgraph
38s
high-school-geometry
36s
HoTT
38s
itauto
40s
LibHyps
37s
metalib
38s
Ordinal
38s
paramcoq
35s
pocklington
38s
semantics
37s
serapi
37s
stdlib
37s
zorns-lemma
38s
InfSeqExt
42s
ExtLib
41s
aac-tactics
40s
bbv
37s
ceres
38s
bignums
41s
coq-elpi
38s
coq-hammer-tactics
42s
StructTact
40s
MenhirLib
42s
equations
40s
flocq
37s
paco
37s
rewriter
38s
smtcoq
1m 33s
stdpp
43s
topology
40s
simple-io
37s
parsec
37s
trakt
37s
hierarchy-builder
39s
CoLoR
6m 9s
math-classes
37s
coqprime
37s
coq-hammer
37s
gappalib
37s
compcert
41s
Cheerios
37s
ITree
42s
metacoq-utils
41s
iris
38s
json
39s
mathcomp-ssreflect
43s
corn
38s
vcfloat
40s
iris-named-props
36s
metacoq-common
39s
itree-io
40s
VST
37s
autosubst
38s
Verdi
38s
mathcomp-bigenough
42s
coquelicot
36s
category-theory
37s
deriving
40s
mathcomp-fingroup
42s
mathcomp-finmap
38s
QuickChick
38s
reglang
39s
relation-algebra
37s
metacoq-pcuic
41s
metacoq-template-coq
38s
extructures
38s
mathcomp-algebra
38s
mathcomp-tarjan
42s
interval
2m 25s
async-test
38s
metacoq-translations
42s
metacoq-template-pcuic
39s
metacoq-safechecker
37s
gaia
38s
fourcolor
38s
mathcomp-classical
38s
addition-chains
1m 52s
mathcomp-solvable
38s
mathcomp-word
42s
mathcomp-zify
38s
multinomials
39s
http
1m 23s
metacoq-erasure
38s
metacoq-quotation
38s
metacoq-safechecker-plugin
37s
graph-theory
4m 32s
mathcomp-reals
39s
mathcomp-field
39s
mathcomp-algebra-tactics
38s
metacoq-erasure-plugin
43s
mathcomp-reals-stdlib
39s
mathcomp-experimental-reals
37s
metacoq
43s
mathcomp-character
41s
mathcomp-real-closed
38s
mathcomp-analysis
41s
ElmExtraction
37s
RustExtraction
38s
mathcomp
39s
coqeal
3m 29s
mathcomp-analysis-stdlib
42s
mathcomp-infotheo
7m 25s
1h 33m 27s