Skip to content

src: use std::ranges::greater instead of std::greater #11506

src: use std::ranges::greater instead of std::greater

src: use std::ranges::greater instead of std::greater #11506

Triggered via pull request January 31, 2025 14:31
@targostargos
opened #56844
Status Success
Total duration 12s
Artifacts

label-pr.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in