diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e55d307dd..0ad18762b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -82,15 +82,27 @@ 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 steps: - uses: actions/checkout@v4 - uses: dtolnay/rust-toolchain@miri + - run: sudo apt-get install gcc-powerpc-linux-gnu + if: matrix.target == 'powerpc64-unknown-linux-gnu' + - run: sudo apt-get install gcc-mips-linux-gnu + if: matrix.target == 'mips-unknown-linux-gnu' - 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