Add running test with miri to CI (#842)

For T1 Rust targets Miri is able to check for several forms of undefined behavior that rustc can not.
tauri-apps · Nov 13, 2023 · 5c22d76 · 5c22d76
1 parent cef17e4
commit 5c22d76
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -108,6 +108,22 @@ jobs:
           !contains(matrix.platform.target, 'ios'))
         run: cargo $CMD test --verbose --target ${{ matrix.platform.target }} $OPTIONS --features serde,$FEATURES
 
+      - uses: actions-rs/toolchain@v1
+        if: (
+          !contains(matrix.platform.target, 'android') &&
+          !contains(matrix.platform.target, 'ios'))
+        with:
+          toolchain: nightly
+          target: ${{ matrix.platform.target }}
+          components: miri
+
+      - name: Run tests with miri
+        if: (
+          !contains(matrix.platform.target, 'android') &&
+          !contains(matrix.platform.target, 'ios'))
+        shell: bash
+        run: cargo +nightly miri test --target ${{ matrix.platform.target }} $OPTIONS --features serde,$FEATURES
+
   test_tao_macros:
     runs-on: ubuntu-latest
     steps: