diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 07b6f7e..74ddb29 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -321,7 +321,7 @@ jobs: - name: Install Rust (nightly) run: | rustup toolchain install nightly --profile minimal --no-self-update - rustup +nightly target add x86_64-unknown-linux-gnu + rustup +nightly target add x86_64-unknown-linux-gnu i686-unknown-linux-gnu rustup +nightly component add miri - name: Cache cargo registry & target @@ -335,13 +335,20 @@ jobs: restore-keys: | sanitizers-${{ runner.os }}-${{ runner.arch }}- - - name: Miri FFI tests (scalar scanner) + - name: Miri FFI tests x86_64 (scalar scanner) run: | cargo +nightly miri test --target x86_64-unknown-linux-gnu --no-default-features --test ffi_smoke cargo +nightly miri test --target x86_64-unknown-linux-gnu --no-default-features --test ffi_cursor cargo +nightly miri test --target x86_64-unknown-linux-gnu --no-default-features --test ffi_strings cargo +nightly miri test --target x86_64-unknown-linux-gnu --no-default-features --test ffi_ops_interleave + - name: Miri FFI tests i686 (32-bit validation) + run: | + cargo +nightly miri test --target i686-unknown-linux-gnu --no-default-features --test ffi_smoke + cargo +nightly miri test --target i686-unknown-linux-gnu --no-default-features --test ffi_cursor + cargo +nightly miri test --target i686-unknown-linux-gnu --no-default-features --test ffi_strings + cargo +nightly miri test --target i686-unknown-linux-gnu --no-default-features --test ffi_ops_interleave + - name: ASan FFI smoke tests continue-on-error: true env: