spake2: getrandom feature (#88)

[PAKEs.git] / .github / workflows / spake2.yml

diff --git a/.github/workflows/spake2.yml b/.github/workflows/spake2.yml
index 6aaf07666e2212265c1c227f57affa650026a094..34968fd28726222ee8fd95e1a9ea6971078822d9 100644 (file)
--- a/.github/workflows/spake2.yml
+++ b/.github/workflows/spake2.yml
@@ -25,6 +25,7 @@ jobs:
           - 1.56.0 # MSRV
           - stable
         target:
+          - thumbv7em-none-eabi
           - wasm32-unknown-unknown
     steps:
       - uses: actions/checkout@v1
@@ -34,7 +35,7 @@ jobs:
           toolchain: ${{ matrix.rust }}
           target: ${{ matrix.target }}
           override: true
-      - run: cargo build --target ${{ matrix.target }} --release
+      - run: cargo build --target ${{ matrix.target }} --release --no-default-features
 
   test:
     runs-on: ubuntu-latest
@@ -51,3 +52,4 @@ jobs:
           override: true
           profile: minimal
       - run: cargo test --release
+      - run: cargo test --release --all-features