Skip to content
GitLab
Explore
Sign in
Fix clippy nightly again
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ian Jackson
requested to merge
Diziet/arti:clippy
into
main
Jun 23, 2022
Overview
4
Commits
10
Pipelines
2
Changes
50
Expand
Tkes the approach in
#501 (closed)
to let us disable an unhelpful nightly-only lint.
Edited
Jun 24, 2022
by
Ian Jackson
Merge request reports
Loading