diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0ad18762b..4620ce8ed 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -80,16 +80,20 @@ jobs: - run: cargo check --locked miri: - name: Miri + name: Miri (${{matrix.name}}) 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 + include: + - name: 64-bit little endian + target: x86_64-unknown-linux-gnu + - name: 64-bit big endian + target: powerpc64-unknown-linux-gnu + - name: 32-bit little endian + target: i686-unknown-linux-gnu + - name: 32-bit big endian + target: mips-unknown-linux-gnu env: MIRIFLAGS: -Zmiri-strict-provenance timeout-minutes: 45