use make rules in the CI

amtoine · Apr 13, 2024 · b1656dc · b1656dc
1 parent 84f525f
commit b1656dc
Showing 1 changed file with 2 additions and 16 deletions.
diff --git 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