Rust: Add GH Action test to detect no_std compilation failures

mit-plv · Sep 1, 2023 · 3aa0072 · 3aa0072
1 parent ce6fe2a
commit 3aa0072
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -21,6 +21,8 @@ jobs:
       run: (cd fiat-rust; cargo build --verbose)
     - name: cargo test
       run: (cd fiat-rust; cargo test --verbose)
+    - name: cargo test (no_std)
+      run: (cd fiat-rust; cargo test --no-default-features --verbose)
     - name: curve25519-dalek test
       run: etc/ci/test-fiat-rust-curve25519-dalek.sh
     - name: crate-crypto/Ed448-Goldilocks test