Skip to content
GitLab
Explore
Sign in
Check clippy in CI
Code
Review changes
Check out branch
Download
Patches
Plain diff
eta
requested to merge
eta/ci-clippy
into
main
Feb 22, 2023
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Run clippy in GitLab CI, in order to help us keep our code quality high.
However, since having it break the entire build is annoying, allow failures in the clippy stage. (We can always just fix it in a later commit, after all.)
Merge request reports
Loading