From b1656dc38d37f712f46ef364f6890e0947e8f196 Mon Sep 17 00:00:00 2001
From: amtoine <stevan.antoine@gmail.com>
Date: Sat, 13 Apr 2024 12:06:38 +0200
Subject: [PATCH] use make rules in the CI

---
 .github/workflows/main.yml | 18 ++----------------
 1 file changed, 2 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index e402d02..14130c8 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -6,9 +6,6 @@ on:
 
 name: continuous-integration
 
-env:
-  CLIPPY_OPTIONS: "-D warnings"
-
 jobs:
   fmt-check-clippy:
     runs-on: ubuntu-20.04
@@ -21,17 +18,7 @@ jobs:
         with:
           rustflags: ""
 
-      - name: Format
-        run: cargo fmt --all -- --check
-
-      - name: Check the library
-        run: cargo check --workspace --lib
-
-      - name: Check the tests
-        run: cargo check --workspace --tests
-
-      - name: Clippy
-        run: cargo clippy --workspace -- $CLIPPY_OPTIONS
+      - run: make check
 
   tests:
     strategy:
@@ -49,5 +36,4 @@ jobs:
         with:
           rustflags: ""
 
-      - name: Tests
-        run: cargo test --workspace
+      - run: make test