Skip to content

Commit f5365c3

Browse files
authored
Use nextest to run Miri in CI (#9629)
# Which issue does this PR close? - Closes #NNN. # Rationale for this change Miri in CI is VERY slow (around 2.5 hours), but the github runners actually have 4 vCPUs and some memory, so using nextest can give us some speedup. # What changes are included in this PR? Install nextest in CI and then use it to run Miri # Are these changes tested? tested the script locally # Are there any user-facing changes? No
1 parent 652c950 commit f5365c3

File tree

2 files changed

+8
-6
lines changed

2 files changed

+8
-6
lines changed

.github/workflows/miri.sh

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,8 @@ cargo miri setup
1212
cargo clean
1313

1414
echo "Starting Arrow MIRI run..."
15-
cargo miri test -p arrow-buffer
16-
cargo miri test -p arrow-data --features ffi
17-
cargo miri test -p arrow-schema --features ffi
18-
cargo miri test -p arrow-ord
19-
cargo miri test -p arrow-array
20-
cargo miri test -p arrow-arith
15+
cargo miri nextest run \
16+
-p arrow-buffer -p arrow-data \
17+
-p arrow-schema -p arrow-ord \
18+
-p arrow-array -p arrow-arith \
19+
--features ffi --no-fail-fast

.github/workflows/miri.yaml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,6 +55,9 @@ jobs:
5555
rustup toolchain install nightly --component miri
5656
rustup override set nightly
5757
cargo miri setup
58+
- name: Set up nextest
59+
run: |
60+
cargo install cargo-nextest --version 0.9.132 --locked
5861
- name: Run Miri Checks
5962
env:
6063
RUST_BACKTRACE: full

0 commit comments

Comments
 (0)