Testing mathcomp 2.3.0 #710
Triggered via pull request
November 28, 2024 17:41
CohenCyril
CohenCyril
opened
#292
Status
Success
Total duration
47m 32s
Artifacts
–
nix-action-8.17.yml
on: pull_request_target
coq
39s
HoTT
37s
LibHyps
34s
Ordinal
39s
bbv
34s
coq-lsp
34s
coq-record-update
39s
coq-shell
35s
coqide
36s
coqutil
1m 47s
dpdgraph
34s
high-school-geometry
35s
itauto
34s
metalib
35s
pocklington
35s
rewriter
6m 11s
semantics
38s
serapi
38s
smtcoq
36s
graph-theory
1m 4s
mathcomp-experimental-reals
36s
coqeal
39s
mathcomp
40s
mathcomp-infotheo
7m 35s
mathcomp-analysis-stdlib
39s