Test coqPackages.mathcomp*: update stdlib dependencies #773
proux01nix-action-8.18.yml
on: pull_request_target
coq
42s
HoTT
42s
LibHyps
42s
Ordinal
1m 15s
coq-lsp
42s
coq-record-update
37s
coq-shell
42s
coq-tactical
38s
coqide
39s
coqutil
37s
dpdgraph
41s
high-school-geometry
38s
metalib
44s
pocklington
45s
semantics
37s
serapi
38s
vscoq-language-server
1m 20s
topology
37s
gappalib
39s
coq-hammer
39s
corn
38s
vcfloat
6m 4s
iris-named-props
43s
VST
39s
relation-algebra
2m 14s
Verdi
1m 46s
mathcomp-tarjan
1m 39s
interval
2m 31s
jasmin
7m 58s
graph-theory
16m 10s
coqeal
4m 2s
ssprove
18m 20s
odd-order
13m 13s
mathcomp-infotheo
6m 39s