coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 #695
Triggered via pull request
November 25, 2024 10:19
proux01
Status
Success
Total duration
46m 45s
Artifacts
–
nix-action-8.17.yml
on: pull_request
coq
1m 16s
HoTT
33s
LibHyps
32s
bbv
33s
coq-lsp
34s
coq-record-update
35s
coq-shell
32s
coqide
36s
coqutil
39s
dpdgraph
34s
high-school-geometry
33s
itauto
33s
metalib
39s
pocklington
33s
rewriter
34s
semantics
35s
serapi
35s
smtcoq
36s
graph-theory
34s
mathcomp-altreals
32s
coqeal
35s
mathcomp
36s
mathcomp-infotheo
39s
mathcomp-analysis-stdlib
34s