Skip to content
Maintainer merge

[Merged by Bors] - feat(Order/Filter/Extr): local minimum and local maximum implies const #195126

Sign in to view logs

[Merged by Bors] - feat(Order/Filter/Extr): local minimum and local maximum implies const

[Merged by Bors] - feat(Order/Filter/Extr): local minimum and local maximum implies const #195126

Triggered via pull request January 16, 2026 17:21
@plp127plp127
submitted #34032
Status Skipped
Total duration 2s
Artifacts –

maintainer_merge.yml

on: pull_request_review
Ping maintainers on Zulip
Ping maintainers on Zulip
Fit to window
Zoom out
Zoom in