diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e55d307dd..ce83fce46 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -82,6 +82,14 @@ jobs: miri: name: Miri runs-on: ubuntu-latest + strategy: + fail-fast: false + matrix: + target: + - x86_64-unknown-linux-gnu + - powerpc64-unknown-linux-gnu + - i686-unknown-linux-gnu + - mips-unknown-linux-gnu env: MIRIFLAGS: -Zmiri-strict-provenance timeout-minutes: 45 @@ -89,8 +97,8 @@ jobs: - uses: actions/checkout@v4 - uses: dtolnay/rust-toolchain@miri - run: cargo miri setup - - run: cargo miri test - - run: cargo miri test --features preserve_order,float_roundtrip,arbitrary_precision,raw_value + - run: cargo miri test --target ${{matrix.target}} + - run: cargo miri test --target ${{matrix.target}} --features preserve_order,float_roundtrip,arbitrary_precision,raw_value clippy: name: Clippy