no_std CI build

kpreid · Oct 5, 2023 · fb1116a · fb1116a
1 parent 8c8ab78
commit fb1116a
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -254,6 +254,27 @@ jobs:
       run: |
         cargo +nightly miri test --no-default-features -p all-is-cubes universe::
     
+  no_std:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/[email protected]
+
+    - uses: Swatinem/[email protected]
+
+    - name: Install Rust toolchain
+      run: |
+        rustup toolchain install stable --profile minimal
+        rustup target add thumbv7em-none-eabihf
+    
+    - name: no_std build
+      run: |
+        cargo check --no-default-features -p all-is-cubes --target thumbv7em-none-eabihf
+    
+    - name: no_std lint
+      run: |
+        cargo clippy --no-default-features -p all-is-cubes --target thumbv7em-none-eabihf
+    
   fuzz:
     # Don't spend time on fuzzing if the build failed indicating the code is bad other ways
     needs: build