Skip to content

Commit 8073fc1

Browse files
authored
Merge pull request #1174 from iex-rs/miri-on-ci
Test on BE and 32-bit platforms on CI via Miri
2 parents cf771a0 + 81b1b61 commit 8073fc1

File tree

1 file changed

+14
-2
lines changed

1 file changed

+14
-2
lines changed

.github/workflows/ci.yml

+14-2
Original file line numberDiff line numberDiff line change
@@ -82,15 +82,27 @@ jobs:
8282
miri:
8383
name: Miri
8484
runs-on: ubuntu-latest
85+
strategy:
86+
fail-fast: false
87+
matrix:
88+
target:
89+
- x86_64-unknown-linux-gnu
90+
- powerpc64-unknown-linux-gnu
91+
- i686-unknown-linux-gnu
92+
- mips-unknown-linux-gnu
8593
env:
8694
MIRIFLAGS: -Zmiri-strict-provenance
8795
timeout-minutes: 45
8896
steps:
8997
- uses: actions/checkout@v4
9098
- uses: dtolnay/rust-toolchain@miri
99+
- run: sudo apt-get install gcc-powerpc-linux-gnu
100+
if: matrix.target == 'powerpc64-unknown-linux-gnu'
101+
- run: sudo apt-get install gcc-mips-linux-gnu
102+
if: matrix.target == 'mips-unknown-linux-gnu'
91103
- run: cargo miri setup
92-
- run: cargo miri test
93-
- run: cargo miri test --features preserve_order,float_roundtrip,arbitrary_precision,raw_value
104+
- run: cargo miri test --target ${{matrix.target}}
105+
- run: cargo miri test --target ${{matrix.target}} --features preserve_order,float_roundtrip,arbitrary_precision,raw_value
94106

95107
clippy:
96108
name: Clippy

0 commit comments

Comments
 (0)