change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs #827
Triggered via pull request
October 24, 2024 01:13
affeldt-aist
synchronize
#487
Status
Success
Total duration
16m 23s
Artifacts
–
nix-action-8.19.yml
on: pull_request_target
coq
40s
mathcomp
37s
mathcomp-analysis
15m 22s
mathcomp-analysis-single
14m 45s