ci: Add CI for no_std.

servo · Oct 21, 2023 · 6fcb81f · 6fcb81f
1 parent 2128411
commit 6fcb81f
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -83,11 +83,25 @@ jobs:
         working-directory: fuzz
         run: ./travis-fuzz.sh
 
+  no-std:
+    name: no_std
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install toolchain
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: stable
+          target: thumbv7m-none-eabi
+      - name: Cargo build
+        run: cargo build --verbose
+
   build_result:
     name: Result
     runs-on: ubuntu-latest
     needs:
       - "ci"
+      - "no-std"
 
     steps:
       - name: Mark the job as successful