ci: swap order of tree borrows and stack borrows tests

Tree borrows model is a bit more relaxed compared to stack borrows
zetanumbers · Jun 2, 2024 · cb1a79f · cb1a79f
1 parent 80ad968
commit cb1a79f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/push-check.yml b/.github/workflows/push-check.yml
@@ -28,9 +28,9 @@ jobs:
         uses: dtolnay/rust-toolchain@nightly
         with:
           components: miri
-      - name: Stacked borrows
-        run: cargo miri test
       - name: Tree borrows
         run: cargo miri test
         env:
           MIRIFLAGS: -Zmiri-tree-borrows
+      - name: Stacked borrows
+        run: cargo miri test