ci: run miri tests with tree borrows model too

zetanumbers · Jun 2, 2024 · 512c0c6 · 512c0c6
1 parent 244ce04
commit 512c0c6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/push-check.yml b/.github/workflows/push-check.yml
@@ -30,3 +30,7 @@ jobs:
           components: miri
       - name: Stacked borrows
         run: cargo miri test
+      - name: Tree borrows
+        run: cargo miri test
+        env:
+          MIRIFLAGS: -Zmiri-tree-borrows