From 787292476fb3453a8dba3b8a537a13260d2f8d3d Mon Sep 17 00:00:00 2001
From: Sympatron GmbH <35803463+Sympatron@users.noreply.github.com>
Date: Thu, 31 Oct 2024 17:10:30 +0100
Subject: [PATCH] Run CI job to ensure no-std compatibility

---
 .github/workflows/build-ci.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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