Skip to content

Commit cedab6d

Browse files
committed
run miri with a windows target too
it's allocator is quite different, so let's test that
1 parent 77ee765 commit cedab6d

File tree

1 file changed

+8
-2
lines changed

1 file changed

+8
-2
lines changed

.github/workflows/checks.yaml

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -397,22 +397,28 @@ jobs:
397397
miri:
398398
name: "Miri"
399399
runs-on: ubuntu-latest
400+
strategy:
401+
matrix:
402+
include:
403+
- target: x86_64-unknown-linux-gnu
404+
- target: x86_64-pc-windows-gnu
400405
steps:
401406
- uses: actions/checkout@v3
402407
- name: Install Miri
403408
run: |
409+
rustup target add ${{ matrix.target }}
404410
rustup toolchain install nightly --component miri
405411
cargo +nightly miri setup
406412
- name: Install cargo-nextest
407413
uses: taiki-e/install-action@56ab7930c591507f833cbaed864d201386d518a8
408414
with:
409415
tool: cargo-nextest
410416
- name: Test public C api with NULL arguments
411-
run: "cargo +nightly miri nextest run -j4 -p test-libz-rs-sys null::"
417+
run: "cargo +nightly miri nextest run -j4 -p test-libz-rs-sys --target ${{ matrix.target }} null::"
412418
env:
413419
RUSTFLAGS: "-Ctarget-feature=+avx2"
414420
- name: Test allocator with miri
415-
run: "cargo +nightly miri nextest run -j4 -p zlib-rs allocate::"
421+
run: "cargo +nightly miri nextest run -j4 -p zlib-rs --target ${{ matrix.target }} allocate::"
416422

417423
run-flate2-test-suite:
418424
name: run flate2 test suite

0 commit comments

Comments
 (0)