diff --git a/.github/workflows/miri.sh b/.github/workflows/miri.sh index 86be2100ee67..317b2db18d48 100755 --- a/.github/workflows/miri.sh +++ b/.github/workflows/miri.sh @@ -12,9 +12,8 @@ cargo miri setup cargo clean echo "Starting Arrow MIRI run..." -cargo miri test -p arrow-buffer -cargo miri test -p arrow-data --features ffi -cargo miri test -p arrow-schema --features ffi -cargo miri test -p arrow-ord -cargo miri test -p arrow-array -cargo miri test -p arrow-arith \ No newline at end of file +cargo miri nextest run \ + -p arrow-buffer -p arrow-data \ + -p arrow-schema -p arrow-ord \ + -p arrow-array -p arrow-arith \ + --features ffi --no-fail-fast \ No newline at end of file diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml index f7269f535249..bf5b63027b24 100644 --- a/.github/workflows/miri.yaml +++ b/.github/workflows/miri.yaml @@ -55,6 +55,9 @@ jobs: rustup toolchain install nightly --component miri rustup override set nightly cargo miri setup + - name: Set up nextest + run: | + cargo install cargo-nextest --version 0.9.132 --locked - name: Run Miri Checks env: RUST_BACKTRACE: full