Skip to content
Check whitespace

Adding extrema to a non-strict order respects equality #2260

Sign in to view logs

Adding extrema to a non-strict order respects equality

Adding extrema to a non-strict order respects equality #2260

Triggered via pull request December 22, 2025 19:45
@TanebTaneb
opened #2904
non-strict-extrema-resp-eq
Status Success
Total duration 13s
Artifacts –

whitespace.yml

on: pull_request
check-whitespace
9s
check-whitespace
Fit to window
Zoom out
Zoom in