Enable Miri testing

RustCrypto · Mar 2, 2024 · 232fe88 · 232fe88
1 parent c9d32f8
commit 232fe88
Showing 1 changed file with 24 additions and 25 deletions.
diff --git a/.github/workflows/ml-kem.yml b/.github/workflows/ml-kem.yml
@@ -69,28 +69,27 @@ jobs:
       - run: cargo test
       - run: cargo test --all-features
 
-# TODO(tarcieri): miri
-#  miri:
-#    runs-on: ubuntu-latest
-#    env:
-#      MIRIFLAGS: "-Zmiri-symbolic-alignment-check -Zmiri-strict-provenance"
-#    strategy:
-#      matrix:
-#        target:
-#          - x86_64-unknown-linux-gnu
-#          - s390x-unknown-linux-gnu
-#    steps:
-#      - uses: actions/checkout@v4
-#      - uses: RustCrypto/actions/cargo-cache@master
-#      - uses: dtolnay/rust-toolchain@master
-#        with:
-#          toolchain: nightly
-#      - name: Install Miri
-#        run: |
-#          rustup component add miri
-#          cargo miri setup
-#      - name: Test with Miri
-#        run: |
-#          cargo miri test --target ${{ matrix.target }} --no-default-features
-#          cargo miri test --target ${{ matrix.target }}
-#          cargo miri test --target ${{ matrix.target }} --all-features
+  miri:
+    runs-on: ubuntu-latest
+    env:
+      MIRIFLAGS: "-Zmiri-symbolic-alignment-check -Zmiri-strict-provenance"
+    strategy:
+      matrix:
+        target:
+          - x86_64-unknown-linux-gnu
+          - s390x-unknown-linux-gnu
+    steps:
+      - uses: actions/checkout@v4
+      - uses: RustCrypto/actions/cargo-cache@master
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: nightly
+      - name: Install Miri
+        run: |
+          rustup component add miri
+          cargo miri setup
+      - name: Test with Miri
+        run: |
+          cargo miri test --target ${{ matrix.target }} --no-default-features
+          cargo miri test --target ${{ matrix.target }}
+          cargo miri test --target ${{ matrix.target }} --all-features