From b8a7a9ad00df8bf513d86c3300ead3cf0b1681e7 Mon Sep 17 00:00:00 2001
From: Azriel Hoh <azriel91@gmail.com>
Date: Sat, 23 Sep 2023 21:58:23 +1200
Subject: [PATCH] Use `stable` toolchain for clippy.

Dependent on `<https://github.com/rust-lang/rust-clippy/issues/11533>`
being fixed.
---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 84239b5ad..04995acdd 100644
--- 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'