diff --git a/.github/workflows/build-ci.yml b/.github/workflows/build-ci.yml
index 0dc0f0d..ac24f84 100644
--- a/.github/workflows/build-ci.yml
+++ b/.github/workflows/build-ci.yml
@@ -25,7 +25,11 @@ jobs:
         with:
           toolchain: stable
           components: rustfmt, clippy
-      - run: cargo check
+          target: thumbv6m-none-eabi
+      - name: Cargo check
+        run: cargo check
+      - name: Cargo check no-std
+        run: apt-get install -y gcc-arm-none-eabi && cargo check --package libosdp --target thumbv6m-none-eabi --no-default-features
   test:
     runs-on: ubuntu-latest
     steps: