coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 #693
Triggered via pull request
November 22, 2024 15:19
proux01
Status
Success
Total duration
1h 5m 54s
Artifacts
–
nix-action-8.17.yml
on: pull_request
coq
34s
HoTT
34s
LibHyps
47s
bbv
34s
coq-lsp
48s
coq-record-update
32s
coq-shell
48s
coqide
39s
coqutil
41s
dpdgraph
34s
high-school-geometry
33s
itauto
35s
metalib
39s
pocklington
59s
rewriter
34s
semantics
54s
serapi
34s
smtcoq
56s
graph-theory
53s
mathcomp-altreals
47s
coqeal
35s
mathcomp
42s
mathcomp-infotheo
36s
mathcomp-analysis-stdlib
34s