From 512c0c6adf7f38a6f8cffae2de24b9ff1d15cd2c Mon Sep 17 00:00:00 2001
From: Daria Sukhonina <dariasukhonina@gmail.com>
Date: Sun, 2 Jun 2024 12:42:50 +0300
Subject: [PATCH] ci: run miri tests with tree borrows model too

---
 .github/workflows/push-check.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/push-check.yml b/.github/workflows/push-check.yml
index 9582d41..42c61af 100644
--- 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