Use stable toolchain for clippy.

Dependent on `<https://github.com/rust-lang/rust-clippy/issues/11533>` being fixed.
azriel91 · Sep 23, 2023 · b8a7a9a · b8a7a9a
1 parent b628519
commit b8a7a9a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -77,7 +77,9 @@ jobs:
       - uses: actions/checkout@v3
       - uses: dtolnay/rust-toolchain@master
         with:
-          toolchain: nightly
+          # Normally use nightly for better lints, but we're blocked by
+          # <https://github.com/rust-lang/rust-clippy/issues/11533>
+          toolchain: stable
           components: clippy
 
       - name: 'Run clippy'