Use a single test thread when running miri

apache · Oct 31, 2021 · 0dd0d62 · 0dd0d62
1 parent 898924f
commit 0dd0d62
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml
@@ -56,4 +56,5 @@ jobs:
           cargo clean
           # Currently only the arrow crate is tested with miri
           # IO related tests and some unsupported tests are skipped
-          cargo miri test -p arrow -- --skip csv --skip ipc --skip json
+          # Use a single thread to avoid OOM kills on github
+          cargo miri test -p arrow -- --skip csv --skip ipc --skip json --test-threads=1