From e5a302fb3dacbc8d9bfcfbb94d3723eebbdd2996 Mon Sep 17 00:00:00 2001
From: Edgar Luque <git@edgarluque.com>
Date: Fri, 9 Feb 2024 09:22:11 +0100
Subject: [PATCH] clippy

---
 .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 bbd264d93..a8b2e0bce 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -29,7 +29,7 @@ jobs:
         - name: Install LLVM
           run: sudo apt-get install llvm-17 llvm-17-dev llvm-17-runtime clang-17 clang-tools-17 lld-17 libpolly-17-dev
         - name: Clippy
-          run: make check
+          run: cargo clippy
 
     fmt:
         name: rustfmt