From 188e064e343143942a5ddd04b64e8de07ce8d081 Mon Sep 17 00:00:00 2001 From: Imbris Date: Tue, 2 Jan 2024 22:17:52 -0500 Subject: [PATCH] fix CI by using tree borrows model in miri to avoid failing on stacked borrows violations in crossbeam-epoch --- .github/workflows/ci.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 220f59f..eefc25b 100644 --- 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