Skip to content

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

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

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

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

notify-on-review-wanted.yml

on: pull_request_target
Notify on Review Wanted
0s
Notify on Review Wanted
Fit to window
Zoom out
Zoom in