Skip to content
Nix CI for bundle 8.20

Test coqPackages.mathcomp*: update stdlib dependencies #496

Sign in to view logs

Test coqPackages.mathcomp*: update stdlib dependencies

Test coqPackages.mathcomp*: update stdlib dependencies #496

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
39s
autosubst-ocaml
42s
coq-elpi
38s
coqide
39s
coq-lsp
37s
coq-record-update
43s
coq-shell
39s
coq-tactical
40s
coqutil
39s
dpdgraph
43s
high-school-geometry
39s
HoTT
36s
paramcoq
39s
LibHyps
37s
stdlib
43s
vscoq-language-server
39s
zorns-lemma
38s
hierarchy-builder
39s
serapi
42s
MenhirLib
37s
InfSeqExt
41s
ceres
37s
aac-tactics
37s
bignums
41s
atbr
40s
equations
38s
ExtLib
37s
flocq
36s
itauto
37s
paco
38s
StructTact
41s
stalmarck
37s
stdpp
39s
mathcomp-ssreflect
4m 19s
CoLoR
37s
math-classes
44s
coqprime
42s
parsec
42s
simple-io
37s
metacoq-utils
42s
compcert
38s
gappalib
38s
ITree
36s
stalmarck-tactic
38s
Cheerios
36s
iris
37s
corn
39s
json
38s
metacoq-common
37s
VST
38s
deriving
4m 51s
QuickChick
4m 42s
autosubst
4m 17s
coquelicot
4m 49s
mathcomp-bigenough
4m 11s
mathcomp-fingroup
4m 54s
mathcomp-finmap
4m 27s
reglang
4m 44s
relation-algebra
5m 18s
metacoq-pcuic
36s
metacoq-template-coq
38s
metacoq-safechecker
40s
metacoq-translations
45s
metacoq-template-pcuic
40s
extructures
1m 38s
mathcomp-tarjan
1m 40s
interval
2m 33s
mathcomp-algebra
4m 22s
metacoq-quotation
37s
metacoq-safechecker-plugin
34s
metacoq-erasure
36s
vcfloat
3m 5s
gaia
6m 48s
mathcomp-classical
6m 6s
fourcolor
16m 8s
mathcomp-solvable
5m 49s
mathcomp-word
4m 23s
mathcomp-zify
4m 25s
multinomials
5m 9s
metacoq-erasure-plugin
42s
mathcomp-algebra-tactics
1m 31s
mathcomp-reals
4m 20s
mathcomp-field
3m 43s
metacoq
36s
jasmin
7m 48s
ElmExtraction
37s
mathcomp-real-closed
2m 42s
mathcomp-character
2m 47s
mathcomp-experimental-reals
2m 1s
mathcomp-reals-stdlib
1m 28s
mathcomp-analysis
12m 55s
coqeal
4m 44s
mathcomp
2m 58s
odd-order
11m 3s
ssprove
21m 37s
mathcomp-analysis-stdlib
13m 3s
mathcomp-infotheo
7m 37s
4h 7m 42s