From c09b7a24554171e32fa958042304af0f4cf4e203 Mon Sep 17 00:00:00 2001 From: Simon Ask Ulsnes Date: Tue, 26 Mar 2024 14:04:27 +0100 Subject: [PATCH] More realistic clippy settings in CI --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 11094cd..87663e1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -69,7 +69,7 @@ jobs: steps: - uses: actions/checkout@v4 - uses: dtolnay/rust-toolchain@clippy - - run: cargo clippy --tests -- -Dclippy::all -Dclippy::pedantic + - run: cargo clippy --tests miri: name: Miri