From c74ee968a1aafec9e839dee907f0137e6356feff Mon Sep 17 00:00:00 2001
From: Jon Gjengset <jon@thesquareplanet.com>
Date: Sat, 17 Sep 2022 12:38:56 -0700
Subject: [PATCH] Add (only) no-std workflow

---
 github/workflows/nostd.yml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 github/workflows/nostd.yml

diff --git a/github/workflows/nostd.yml b/github/workflows/nostd.yml
new file mode 100644
index 0000000..433e11d
--- /dev/null
+++ b/github/workflows/nostd.yml
@@ -0,0 +1,24 @@
+on:
+  push:
+    branches: [main]
+  pull_request:
+name: no-std
+jobs:
+  nostd:
+    runs-on: ubuntu-latest
+    name: ${{ matrix.target }}
+    strategy:
+      matrix:
+        target: [thumbv7m-none-eabi, aarch64-unknown-none]
+    steps:
+      - uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: stable
+          target: ${{ matrix.target }}
+      - uses: actions/checkout@v2
+      - name: cargo check
+        uses: actions-rs/cargo@v1
+        with:
+          command: check
+          args: --target ${{ matrix.target }} --no-default-features