From 9fe33cf10ec7f84dfe0cd171e9c3ede399b935ca Mon Sep 17 00:00:00 2001 From: Quentin Gliech Date: Fri, 21 Feb 2025 16:32:55 +0100 Subject: [PATCH] Update Clippy in the CI --- .github/workflows/ci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 1e1ecc297..233f1cab4 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -208,7 +208,7 @@ jobs: uses: actions/checkout@v4.2.2 - name: Install Rust toolchain - uses: dtolnay/rust-toolchain@1.84.0 + uses: dtolnay/rust-toolchain@1.85.0 with: components: clippy