Merge pull request #1496 from zed-industries/ime-stuff

Remove Clippy from CI
9d57f761c5Mikayla Maki committed on 8/12/2022, 3:05:56 AM· committed by GitHubparents4b945f56839530
4 files changedLine totals unavailable