coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 #570
Triggered via pull request
November 25, 2024 10:19
proux01
Status
Success
Total duration
53m 43s
Artifacts
–
nix-action-8.18.yml
on: pull_request
coq
35s
HoTT
33s
LibHyps
35s
bbv
33s
coq-lsp
35s
coq-record-update
34s
coq-shell
34s
coqide
40s
coqutil
34s
dpdgraph
34s
high-school-geometry
33s
itauto
34s
metalib
37s
pocklington
33s
rewriter
34s
semantics
34s
serapi
34s
smtcoq
37s
vscoq-language-server
39s
waterproof
38s
relation-algebra
40s
Verdi
38s
mathcomp-tarjan
33s
interval
36s
graph-theory
34s
mathcomp-altreals
33s
coqeal
35s
mathcomp
40s
ssprove
9m 40s
mathcomp-infotheo
39s
mathcomp-analysis-stdlib
36s