From 558f38682d4d547569bbc1a915ec901b091b4103 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Fri, 13 Mar 2026 17:34:46 +0100
Subject: [PATCH] some CI fixes

---
 .github/workflows/ci.yml | 16 ++++++++--------
 justfile                 |  6 +++---
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2d321a3..a38f4fe 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -11,8 +11,8 @@ jobs:
       - uses: dtolnay/rust-toolchain@stable
         with:
           targets: "armv7a-none-eabihf"
-      - run: just check firmware
-      - run: just check host
+      - run: just check-dir firmware
+      - run: just check-dir host
 
   build:
     name: Check build
@@ -24,8 +24,8 @@ jobs:
       - uses: dtolnay/rust-toolchain@stable
         with:
           targets: "armv7a-none-eabihf"
-      - run: just check firmware
-      - run: just check host
+      - run: just build-dir firmware
+      - run: just build-dir host
 
   fmt:
     name: Check formatting
@@ -37,8 +37,8 @@ jobs:
         with:
           components: rustfmt
           targets: "armv7a-none-eabihf"
-      - run: just check-fmt firmware
-      - run: just check-fmt host
+      - run: just check-fmt-dir firmware
+      - run: just check-fmt-dir host
 
   docs:
     name: Check Documentation Build
@@ -62,9 +62,9 @@ jobs:
         with:
           components: clippy, rust-src
           targets: "armv7a-none-eabihf"
-      - run: just clippy firmware
+      - run: just clippy-dir firmware
 
       - uses: dtolnay/rust-toolchain@stable
         with:
           components: clippy
-      - run: just clippy host
+      - run: just clippy-dir host
diff --git a/justfile b/justfile
index e73d1af..88e784d 100644
--- a/justfile
+++ b/justfile
@@ -1,10 +1,10 @@
-all: check build check-fmt-all clippy docs-zynq
+all: check build check-fmt clippy docs-zynq
 
 check: (check-dir "firmware") (check-dir "host")
 clean: (clean-dir "firmware") (clean-dir "host")
 build: build-zynq (build-dir "host")
 fmt: (fmt-dir "firmware") (fmt-dir "host")
-check-fmt-all: (check-fmt "firmware") (check-fmt "host")
+check-fmt: (check-fmt-dir "firmware") (check-fmt-dir "host")
 clippy: (clippy-dir "firmware") (clippy-dir "host")
 
 check-dir target:
@@ -19,7 +19,7 @@ build-zynq: (build-dir "firmware")
 clean-dir target:
   cd {{target}} && cargo clean
 
-check-fmt target:
+check-fmt-dir target:
   cd {{target}} && cargo +stable fmt --all -- --check
 
 fmt-dir target:
-- 
2.43.0