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' }}
   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') }}
@@ -289,6 +290,10 @@ jobs:
           else
           exit 1
           fi
+          if [ "${{ env.WITH_MIRI }}" = "true" ]; then
+          eatmydata rustup component add miri
+          eatmydata rustup component add rust-src
+          fi
       - name: Install necessary Rust packages for code coverage
         if: env.CODE_COVERAGE_SUPPORTED == 'true' && (inputs.builder-host == inputs.builder-target || (env.ENDIANNESS == 'big' && inputs.builder-target != 's390x')) && (github.event_name == 'pull_request' || env.CODECOV_TOKEN_EXISTS == 'true')
         timeout-minutes: 2
@@ -435,6 +440,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: 5
+        if: env.WITH_MIRI == 'true'
+        run: |
+          set -xe
+          . "$HOME/.cargo/env"
+          cd "$SRC_DIR"
+          cargo miri test --target ${{ env.RUST_TARGET }}
       - name: Build docs
         timeout-minutes: 1
         if: inputs.flavor == 'doc'