change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs #3061
Triggered via pull request
October 24, 2024 01:13
affeldt-aist
synchronize
#487
Status
Success
Total duration
13m 40s
Artifacts
–
nix-action-master.yml
on: pull_request_target
coq
44s
mathcomp
45s
mathcomp-analysis
11m 2s
mathcomp-analysis-single
11m 2s