From df342a33477e9909150a866fbe57d6031fcd89b8 Mon Sep 17 00:00:00 2001
From: ruben <ruben.buehler@t-online.de>
Date: Fri, 16 Jun 2023 21:33:37 +0200
Subject: [PATCH] apply workaround to pipeline

---
 .github/workflows/CI.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index bfe5460bc6..510f88d93e 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -104,7 +104,12 @@ jobs:
           toolchain: ${{ steps.msrv.outputs.version }}
 
       - name: Check
-        run: cargo check --features full
+        # Workaround for rust-lang/cargo#7732
+        run: |
+          if ! rustfmt --check --edition 2018 $(git ls-files '*.rs'); then
+            printf "Please run \`rustfmt --edition 2018 \$(git ls-files '*.rs')\` to fix rustfmt errors.\nSee CONTRIBUTING.md for more details.\n" >&2
+            exit 1
+          fi
 
   miri:
     name: Test with Miri