Merge remote-tracking branch 'origin/develop' into aduffy/proc-macro-…

…avro
spiraldb · Jan 13, 2025 · 60fd946 · 60fd946
2 parents a9725e7 + 81c1011
commit 60fd946
Show file tree

Hide file tree

Showing 126 changed files with 4,739 additions and 2,615 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -6,9 +6,9 @@ concurrency:
 
 on:
   push:
-    branches: ["develop"]
-  pull_request: {}
-  workflow_dispatch: {}
+    branches: [ "develop" ]
+  pull_request: { }
+  workflow_dispatch: { }
 
 permissions:
   actions: read
@@ -211,7 +211,7 @@ jobs:
         with:
           tool: nextest
       - name: Run tests with Miri
-        run: cargo miri nextest run --no-fail-fast
+        run: cargo miri nextest run --no-fail-fast --workspace --exclude vortex-file --exclude vortex-layout --exclude vortex-sampling-compressor --exclude vortex-fsst --exclude vortex-array --exclude vortex-dtype --exclude vortex-expr --exclude vortex-scalar
 
   bench-test:
     name: "bench test"