Test coqPackages.mathcomp*: update stdlib dependencies #696
Triggered via pull request
February 24, 2025 13:49
proux01
Status
Success
Total duration
2h 21m 3s
Artifacts
–
nix-action-8.19.yml
on: pull_request
coq
39s
HoTT
42s
LibHyps
43s
autosubst-ocaml
43s
coq-lsp
43s
coq-record-update
38s
coq-shell
39s
coq-tactical
39s
coqide
44s
coqutil
43s
dpdgraph
38s
high-school-geometry
42s
serapi
38s
vscoq-language-server
1m 24s
zorns-lemma
38s
InfSeqExt
38s
bbv
1m 14s
coinduction
39s
itauto
36s
rewriter
42s
smtcoq
38s
mtac2
37s
corn
38s
iris-named-props
37s
VST
14m 28s
relation-algebra
6m 55s
mathcomp-tarjan
2m 13s
graph-theory
16m 29s
jasmin
7m 35s
coqeal
7m 15s
ssprove
24m 24s
odd-order
12m 33s
mathcomp-infotheo
21m 25s