CI: add Miri

.github/workflows/CI-linux.yml

@@ -166,12 +166,18 @@ jobs:
           . "$HOME/.cargo/env"
           eatmydata rustup toolchain install ${{ inputs.rust-toolchain-name }} --allow-downgrade --profile minimal
           eatmydata rustup default ${{ inputs.rust-toolchain-name }}
+          eatmydata rustup target add ${{ env.RUST_TARGET }}-unknown-linux-${{ env.ABI }}
           if [ "${{ inputs.flavor }}" = "RustFmt" ]; then
           eatmydata rustup component add rustfmt
           elif [ "${{ inputs.flavor }}" = "doc" ]; then
           /bin/true
-          elif [ "${{ inputs.flavor }}" = "dev" ] || [ "${{ inputs.flavor }}" = "release" ]; then
+          elif [ "${{ inputs.flavor }}" = "dev" ] || [ "${{ inputs.flavor }}" = "release" ] || [ "${{ inputs.flavor }}" = "Miri" ]; then
+          if [ "${{ inputs.flavor }}" = "Miri" ]; then
+          eatmydata rustup component add miri
+          eatmydata rustup component add rust-src
+          else
           eatmydata rustup component add clippy
+          fi
           eatmydata apt install \
             clang-${{ inputs.distro-LLVM }} \
             lld-${{ inputs.distro-LLVM }} \
@@ -191,13 +197,12 @@ jobs:
           else
           exit 1
           fi
-      - name: Install necessary packages for cross-compilation
+      - name: Install necessary system packages for cross-compilation
         timeout-minutes: 1
         if: (inputs.flavor == 'dev' || inputs.flavor == 'release') && inputs.builder-host != inputs.builder-target
         run: |
           set -xe
           . "$HOME/.cargo/env"
-
           eatmydata apt install \
             gcc-${{ env.GCC_ARCH }}-linux-${{ env.ABI }} \
             libc6-dev-${{ env.LIBC6_ARCH }}-cross \
@@ -207,7 +212,6 @@ jobs:
           ln -s /usr/local/bin/clang /usr/local/bin/${{ inputs.builder-target }}-unknown-linux-${{ env.ABI }}-clang
           ln -s /usr/local/bin/clang++ /usr/local/bin/${{ inputs.builder-target }}-unknown-linux-${{ env.ABI }}-clang++
           ln -s /usr/local/bin/ld /usr/local/bin/${{ inputs.builder-target }}-unknown-linux-${{ env.ABI }}-ld
-          rustup target add ${{ env.RUST_TARGET }}-unknown-linux-${{ env.ABI }}
           LINKER="${{ inputs.builder-target }}-unknown-linux-${{ env.ABI }}-clang"
           if [ "${{ inputs.builder-target }}" = "powerpc64" ]; then
           # LLD/clang does not support powerpc64 ELFv1 ABI
@@ -219,13 +223,20 @@ jobs:
           runner = "qemu-${{ env.LIBC6_ARCH }} -L /usr/${{ env.GCC_ARCH }}-linux-${{ env.ABI }}"
           EOT
       - name: Install necessary packages for code coverage
-        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && (inputs.builder-host == inputs.builder-target || (env.ENDIANNESS == 'big' && inputs.builder-target != 's390x')) && (github.event_name == 'pull_request' || env.CODECOV_TOKEN_EXISTS == true)
+        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && inputs.flavor != 'Miri' && (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
         run: |
           set -xe
           . "$HOME/.cargo/env"
           eatmydata rustup component add llvm-tools-preview
           eatmydata cargo install cargo-llvm-cov
+      - name: Install cargo-nextest
+        if: inputs.flavor == 'Miri'
+        timeout-minutes: 3
+        run: |
+          set -xe
+          . "$HOME/.cargo/env"
+          eatmydata cargo install cargo-nextest
       - name: Fetch/Checkout RawSpeed.RS git repo
         timeout-minutes: 1
         uses: actions/checkout@v4
@@ -267,39 +278,47 @@ jobs:
           overwrite: true
       - name: Run cargo check
         timeout-minutes: 1
-        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc'
+        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && inputs.flavor != 'Miri'
         run: |
           set -xe
           . "$HOME/.cargo/env"
           cd "$SRC_DIR"
           cargo check --target ${{ env.RUST_TARGET }}-unknown-linux-${{ env.ABI }} --profile ${{ inputs.flavor }} --all-targets --all-features
       - name: Run Clippy
         timeout-minutes: 1
-        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc'
+        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && inputs.flavor != 'Miri'
         run: |
           set -xe
           . "$HOME/.cargo/env"
           cd "$SRC_DIR"
           cargo clippy --target ${{ env.RUST_TARGET }}-unknown-linux-${{ env.ABI }} --profile ${{ inputs.flavor }} --all-targets --all-features
       - name: Build
         timeout-minutes: 1
-        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc'
+        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && inputs.flavor != 'Miri'
         run: |
           set -xe
           . "$HOME/.cargo/env"
           cd "$SRC_DIR"
           cargo build --target ${{ env.RUST_TARGET }}-unknown-linux-${{ env.ABI }} --profile ${{ inputs.flavor }}
       - name: Run tests
         timeout-minutes: 1
-        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc'
+        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && inputs.flavor != 'Miri'
         run: |
           set -xe
           . "$HOME/.cargo/env"
           cd "$SRC_DIR"
           cargo test --target ${{ env.RUST_TARGET }}-unknown-linux-${{ env.ABI }} --profile ${{ inputs.flavor }}
+      - name: Run tests under Miri (nightly toolchain only)
+        timeout-minutes: 60
+        if: inputs.rust-toolchain-name == 'nightly' && inputs.flavor == 'Miri'
+        run: |
+          set -xe
+          . "$HOME/.cargo/env"
+          cd "$SRC_DIR"
+          cargo miri nextest run --target ${{ env.RUST_TARGET }}-unknown-linux-${{ env.ABI }}
       - name: Run tests to collect code coverage
         timeout-minutes: 1
-        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && (inputs.builder-host == inputs.builder-target || (env.ENDIANNESS == 'big' && inputs.builder-target != 's390x')) && (github.event_name == 'pull_request' || env.CODECOV_TOKEN_EXISTS == true)
+        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && inputs.flavor != 'Miri' && (inputs.builder-host == inputs.builder-target || (env.ENDIANNESS == 'big' && inputs.builder-target != 's390x')) && (github.event_name == 'pull_request' || env.CODECOV_TOKEN_EXISTS == true)
         env:
           RUSTFLAGS: "-C instrument-coverage"
         run: |
@@ -310,15 +329,15 @@ jobs:
           cargo llvm-cov --no-report --target ${{ env.RUST_TARGET }}-unknown-linux-${{ env.ABI }} --profile ${{ inputs.flavor }}
       - name: Aggregate code coverage
         timeout-minutes: 1
-        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && (inputs.builder-host == inputs.builder-target || (env.ENDIANNESS == 'big' && inputs.builder-target != 's390x')) && (github.event_name == 'pull_request' || env.CODECOV_TOKEN_EXISTS == true)
+        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && inputs.flavor != 'Miri' && (inputs.builder-host == inputs.builder-target || (env.ENDIANNESS == 'big' && inputs.builder-target != 's390x')) && (github.event_name == 'pull_request' || env.CODECOV_TOKEN_EXISTS == true)
         run: |
           set -xe
           . "$HOME/.cargo/env"
           cd "$SRC_DIR"
           cargo llvm-cov report --codecov --output-path $SRC_DIR/codecov.json --target ${{ env.RUST_TARGET }}-unknown-linux-${{ env.ABI }} --profile ${{ inputs.flavor }}
       - name: Upload coverage reports to Codecov
         timeout-minutes: 1
-        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && (inputs.builder-host == inputs.builder-target || (env.ENDIANNESS == 'big' && inputs.builder-target != 's390x')) && (github.event_name == 'pull_request' || env.CODECOV_TOKEN_EXISTS == true)
+        if: inputs.flavor != 'RustFmt' && inputs.flavor != 'doc' && inputs.flavor != 'Miri' && (inputs.builder-host == inputs.builder-target || (env.ENDIANNESS == 'big' && inputs.builder-target != 's390x')) && (github.event_name == 'pull_request' || env.CODECOV_TOKEN_EXISTS == true)
         uses: codecov/codecov-action@v5
         env:
           OS: ${{ inputs.os }}

.github/workflows/CI.yml

@@ -65,6 +65,31 @@ jobs:
       flavor: ${{ matrix.flavor }}
     secrets:
       CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
+  linux-miri:
+    needs: [ linux-fast, windows-msys2-fast, macOS-fast ]
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ linux ]
+        stack:
+          - { runs-on: "ubuntu-latest", host: "x86_64", target: "x86_64" }
+          - { runs-on: "ubuntu-latest", host: "x86_64", target: "s390x"  }
+        distro:
+          - { image: "debian:trixie-slim", LLVM: 19 }
+        rust-toolchain-name: [ nightly ]
+        flavor: [ Miri ]
+    uses: ./.github/workflows/CI-linux.yml
+    with:
+      os: ${{ matrix.os }}
+      runs-on: ${{ matrix.stack.runs-on }}
+      builder-host: ${{ matrix.stack.host }}
+      builder-target: ${{ matrix.stack.target }}
+      distro-image: ${{ matrix.distro.image }}
+      distro-LLVM: ${{ matrix.distro.LLVM }}
+      rust-toolchain-name: ${{ matrix.rust-toolchain-name }}
+      flavor: ${{ matrix.flavor }}
+    secrets:
+      CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
   windows-msys2-fast:
     strategy:
       fail-fast: false
@@ -112,7 +137,7 @@ jobs:
     secrets:
       CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
   build-docs:
-    needs: [ linux-fast, linux-cross, windows-msys2-fast, macOS-fast ]
+    needs: [ linux-fast, linux-cross, linux-miri, windows-msys2-fast, macOS-fast ]
     uses: ./.github/workflows/CI-linux.yml
     with:
       os: linux