Skip to content

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

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

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

Triggered via pull request January 31, 2025 14:32
Status Skipped
Total duration 2s
Artifacts

comment-labeled.yml

on: pull_request_target
stale-comment
0s
stale-comment
fast-track
0s
fast-track
notable-change
0s
notable-change
Fit to window
Zoom out
Zoom in