diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index be0ff70..18d5869 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -122,6 +122,12 @@ jobs:
       - name: cargo clippy (all features) (auxiliary)
         run: cargo clippy --workspace --tests --benches --examples --all-features -- -D warnings
 
+      - run: rustup target add armv7a-none-eabi
+
+      # We use armv7a as a no_std with AtomicU64
+      - name: cargo build (no-default-features + libm, no_std target)
+        run: cargo build --no-default-features --features libm --target armv7a-none-eabi
+
   clippy-stable-wasm:
     runs-on: ubuntu-latest
     name: cargo test (wasm32)