change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs #1993
Triggered via pull request
November 9, 2023 12:15
affeldt-aist
synchronize
#487
Status
Success
Total duration
37m 20s
Artifacts
–
nix-action-master.yml
on: pull_request_target
coq
35s
mathcomp
35s
mathcomp-analysis
9m 37s
mathcomp-analysis-single
8m 7s