CI: run tests under Miri

Author: LebedevRI

.github/workflows/CI-linux.yml

@@ -43,6 +43,7 @@ on:
 env:
   DEBIAN_FRONTEND: noninteractive
   RUSTFLAGS: "-Dwarnings"
+  WITH_MIRI: ${{ inputs.rust-toolchain-name == 'nightly' && inputs.flavor == 'dev' && inputs.builder-target != 'riscv64' }}
   SRC_DIR: ${{ github.workspace }}/rawspeed.rs
   CODECOV_TOKEN_EXISTS: ${{ secrets.CODECOV_TOKEN != '' }}
   CODE_COVERAGE_SUPPORTED: ${{ inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && (inputs.target-os != 'windows' || inputs.rust-toolchain-abi == 'msvc') }}
@@ -274,7 +275,7 @@ jobs:
           eatmydata apt clean
           rm -rf /var/lib/apt/lists/*
       - name: Install Rust toolchain and targets and crates
-        timeout-minutes: 3
+        timeout-minutes: 4
         run: |
           set -xe
           RUST_COMPONENTS=""
@@ -305,6 +306,15 @@ jobs:
             cargo-llvm-cov \
           "
           fi
+          if [ "${{ env.WITH_MIRI }}" = "true" ]; then
+          RUST_COMPONENTS="${RUST_COMPONENTS} \
+            rust-src \
+            miri \
+          "
+          RUST_CRATES="${RUST_CRATES} \
+            cargo-nextest \
+          "
+          fi
           eatmydata rustup component add ${RUST_COMPONENTS}
           if [ "${RUST_CRATES}" != "" ]; then
           eatmydata cargo install ${RUST_CRATES}
@@ -447,6 +457,14 @@ jobs:
           files: ${{ env.SRC_DIR }}/codecov.json
           root_dir: ${{ env.SRC_DIR }}
           fail_ci_if_error: true
+      - name: Run tests under Miri
+        timeout-minutes: 10
+        if: env.WITH_MIRI == 'true'
+        run: |
+          set -xe
+          . "$HOME/.cargo/env"
+          cd "$SRC_DIR"
+          cargo miri nextest run --target ${{ env.RUST_TARGET }}
       - name: Build docs
         timeout-minutes: 1
         if: inputs.flavor == 'doc'

.github/workflows/CI-macOS.yml

@@ -30,6 +30,7 @@ on:
 
 env:
   RUSTFLAGS: "-Dwarnings"
+  WITH_MIRI: ${{ inputs.rust-toolchain-name == 'nightly' && inputs.flavor == 'dev' }}
   SRC_DIR: ${{ github.workspace }}/rawspeed.rs
   CODECOV_TOKEN_EXISTS: ${{ secrets.CODECOV_TOKEN != '' }}
 
@@ -60,7 +61,7 @@ jobs:
           brew autoremove --quiet
           brew cleanup --quiet --prune=all
       - name: Install Rust
-        timeout-minutes: 4
+        timeout-minutes: 7
         run: |
           set -xe
           curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- --default-toolchain none -y
@@ -156,3 +157,11 @@ jobs:
           files: ${{ env.SRC_DIR }}/codecov.json
           root_dir: ${{ env.SRC_DIR }}
           fail_ci_if_error: true
+      - name: Run tests under Miri
+        timeout-minutes: 10
+        if: env.WITH_MIRI == 'true'
+        run: |
+          set -xe
+          . "$HOME/.cargo/env"
+          cd "$SRC_DIR"
+          cargo miri nextest run