Test coqPackages.mathcomp*: update stdlib dependencies #496
Triggered via pull request
February 24, 2025 13:49
proux01
Status
Success
Total duration
1h 56m 17s
Artifacts
–
nix-action-8.20.yml
on: pull_request
coq
39s
HoTT
36s
LibHyps
37s
autosubst-ocaml
42s
coq-record-update
43s
coq-shell
39s
coq-tactical
40s
coqide
39s
coqutil
39s
dpdgraph
43s
high-school-geometry
39s
vscoq-language-server
39s
zorns-lemma
38s
serapi
42s
corn
39s
VST
38s
json
38s
relation-algebra
5m 18s
QuickChick
4m 42s
mathcomp-tarjan
1m 40s
jasmin
7m 48s
coqeal
4m 44s
ssprove
21m 37s
ElmExtraction
37s
odd-order
11m 3s
mathcomp-infotheo
7m 37s