From 85c984bcc9927c2ce70c7e15cbfe9c6936dd3521 Mon Sep 17 00:00:00 2001
From: Tony Arcieri <bascule@gmail.com>
Date: Tue, 12 Nov 2024 14:18:20 -0700
Subject: [PATCH] slh-dsa: ensure `no_std` compatibility in CI (#876)

---
 .github/workflows/slh-dsa.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/.github/workflows/slh-dsa.yml b/.github/workflows/slh-dsa.yml
index 57734cf6..a33beb4a 100644
--- a/.github/workflows/slh-dsa.yml
+++ b/.github/workflows/slh-dsa.yml
@@ -17,6 +17,24 @@ env:
   RUSTFLAGS: "-Dwarnings"
 
 jobs:
+  no_std:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        target:
+          - thumbv7em-none-eabi
+          - wasm32-unknown-unknown
+        rust:
+          - 1.81.0 # MSRV
+          - stable
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: ${{ matrix.rust }}
+          targets: ${{ matrix.target }}
+      - run: cargo build --target ${{ matrix.target }} --no-default-features
+
   test:
     runs-on: ubuntu-latest
     strategy: