Skip to content
Comment on issues and PRs when labeled

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
stale-comment
0s
fast-track
0s
notable-change
0s
0s