Enable Miri

Author: arnodb

.github/workflows/_build.yml

@@ -26,6 +26,10 @@ on:
         required: false
         type: boolean
         default: false
+      with_miri:
+        required: false
+        type: boolean
+        default: false
       pre_build_script:
         required: false
         type: string
@@ -50,6 +54,10 @@ jobs:
           toolchain: ${{ inputs.rust_toolchain }}
           components: rustfmt, clippy
 
+      - id: install-miri
+        if: ${{ inputs.with_miri }}
+        run: rustup component add miri
+
       - id: quickinstall
         name: Install cargo-quickinstall
         if: ${{ inputs.with_audit }}
@@ -87,6 +95,13 @@ jobs:
         name: Compile and run tests
         run: cargo test ${{ inputs.rust_features }} --verbose
 
+      - id: miri
+        name: Run tests with Miri
+        if: ${{ inputs.with_miri }}
+        run: |
+          cargo miri test ${{ inputs.rust_features }} --verbose
+          echo "Miri OK" >> "$GITHUB_STEP_SUMMARY"
+
       - id: doc
         name: Doc
         if: ${{ inputs.with_doc }}

.github/workflows/ci.yml

@@ -28,4 +28,5 @@ jobs:
     uses: ./.github/workflows/_build.yml
     with:
       rust_toolchain: nightly
+      with_miri: true
 

justfile

@@ -17,6 +17,9 @@ watch_clippy:
 test *args:
     cargo test --all-features {{args}}
 
+miri:
+    cargo miri test --all-features
+
 check_all:
     just stable
     cargo clippy --all-features --all-targets -- -D warnings
@@ -30,6 +33,7 @@ check_all:
     just nightly
     cargo build --all-features
     cargo test --all-features
+    cargo miri test --all-features
 
     just stable