diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 358779f..9549584 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -9,8 +9,8 @@ jobs:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@nightly
       - run: cp .cargo/def-config.toml .cargo/config.toml
-      - run: cargo check --target armv7a-none-eabihf
-      - run: cargo check --target armv7a-none-eabihf --examples
+      - run: cargo check --target armv7a-none-eabihf -p zynq7000
+      - run: cargo check --target armv7a-none-eabihf -p zynq7000-rt
 
   fmt:
     name: Check formatting
@@ -18,6 +18,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@stable
+        components: rustfmt
       - run: cargo fmt --all -- --check
 
   docs:
@@ -35,4 +36,5 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@nightly
+        components: clippy
       - run: cargo clippy --target armv7a-none-eabihf -- -D warnings