fix CI by using tree borrows model in miri to avoid failing on stacked

borrows violations in crossbeam-epoch
amethyst · Jan 3, 2024 · 188e064 · 188e064
1 parent b5d7891
commit 188e064
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -73,4 +73,6 @@ jobs:
  # Miri currently reports leaks in some tests so we disable that check
  # here (might be due to ptr-int-ptr in crossbeam-epoch so might be
  # resolved in future versions of that crate).
- run: MIRIFLAGS="-Zmiri-ignore-leaks" cargo miri test
+ #
+ # crossbeam-epoch doesn't pass with stacked borrows https://github.com/crossbeam-rs/crossbeam/issues/545
+ run: MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-tree-borrows" cargo miri test