Skip to content

Commit

Permalink
Merge pull request #1174 from iex-rs/miri-on-ci
Browse files Browse the repository at this point in the history
Test on BE and 32-bit platforms on CI via Miri
  • Loading branch information
dtolnay authored Aug 12, 2024
2 parents cf771a0 + 81b1b61 commit 8073fc1
Showing 1 changed file with 14 additions and 2 deletions.
16 changes: 14 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 8073fc1

Please sign in to comment.