From 43c2ad81846844d8da767622d29c315ce34c6e86 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Fri, 10 Dec 2021 13:28:34 +0100
Subject: [PATCH] ci fix

---
 .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 79816d6..3746f4f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -57,7 +57,7 @@ jobs:
   ci:
       if: ${{ success() }}
       # all new jobs must be added to this list
-      needs: [check, fmt, clippy]
+      needs: [check, fmt] # , clippy
       runs-on: ubuntu-latest
       steps:
         - name: CI succeeded