Closed SHiftLin closed 2 years ago
scripts/format.sh
scripts/clippy.sh
LGTM. We can merge our branches together this afternoon.
Why are these changes needed?
Related issue number
Checks
scripts/format.sh
to lint the changes in this PR.scripts/clippy.sh
to lint the changes in this PR.