From a1eae3a4fc77a160377552aac09a851328b5047f Mon Sep 17 00:00:00 2001
From: Rouven Spreckels <rs@qu1x.dev>
Date: Sun, 24 Mar 2024 13:40:52 +0100
Subject: [PATCH] Add workflow.

---
 .github/workflows/build.yml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 2d52e6d..edc5c9f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -29,3 +29,20 @@ jobs:
       run: cargo doc
     - name: fmt
       run: cargo fmt --check
+  no-std:
+    runs-on: ubuntu-latest
+    steps:
+    - name: checkout
+      uses: actions/checkout@v4
+    - name: msrv
+      run: |
+        msrv=$(cargo metadata --no-deps --format-version 1 |
+          jq --raw-output '.packages[] | select(.name=="miniball") | .rust_version')
+        echo "MSRV=$msrv" >> $GITHUB_ENV
+    - name: toolchain
+      uses: dtolnay/rust-toolchain@master
+      with:
+        toolchain: ${{ env.MSRV }}
+        targets: thumbv6m-none-eabi
+    - name: check
+      run: cargo check --no-default-features