From c5e5ba3c795defb68d8d7e21421c849b6a85a57e Mon Sep 17 00:00:00 2001 From: Tatsuya Kawano Date: Sun, 25 Aug 2024 17:30:47 +0800 Subject: [PATCH] CI: Run `miri` using tree borrows in addition to the existing stacked borrows --- .github/workflows/Miri.yml | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/.github/workflows/Miri.yml b/.github/workflows/Miri.yml index 195de49d..3ca29c3c 100644 --- a/.github/workflows/Miri.yml +++ b/.github/workflows/Miri.yml @@ -47,8 +47,18 @@ jobs: - run: cargo miri setup - - name: Run Miri test (deque) + - name: Run Miri test on deque module using tree borrows run: cargo miri test deque --features 'sync, future' + env: + MIRIFLAGS: '-Zmiri-tree-borrows' - - name: Run Miri test (timer_wheel) + - name: Run Miri test on timer_wheel module using tree borrows + run: cargo miri test timer_wheel --features 'sync, future' + env: + MIRIFLAGS: '-Zmiri-tree-borrows' + + - name: Run Miri test on deque module using stacked borrows + run: cargo miri test deque --features 'sync, future' + + - name: Run Miri test on timer_wheel module using stacked borrows run: cargo miri test timer_wheel --features 'sync, future'