Skip to content
Nix CI for bundle 8.17

mathcomp 2.3.0 #781

Sign in to view logs

mathcomp 2.3.0

mathcomp 2.3.0 #781

Run time

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