From ee5537471ae18e32d959ec7a98a04587fea3125d Mon Sep 17 00:00:00 2001 From: Imbris Date: Fri, 21 Feb 2025 01:27:39 -0500 Subject: [PATCH] Temporarily disable miri CI until crossbeam-epoch changes are available --- .github/workflows/ci.yml | 35 ++++++++++++++++++----------------- 1 file changed, 18 insertions(+), 17 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index eefc25b..6ff7f06 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -59,20 +59,21 @@ jobs: command: test args: --verbose - miri: - name: "Miri" - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - name: Install Miri - run: | - rustup toolchain install nightly --component miri - rustup override set nightly - cargo miri setup - - name: Test with Miri - # 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). - # - # 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 + # Can't run miri right now https://github.com/crossbeam-rs/crossbeam/issues/1181 + #miri: + # name: "Miri" + # runs-on: ubuntu-latest + # steps: + # - uses: actions/checkout@v3 + # - name: Install Miri + # run: | + # rustup toolchain install nightly --component miri + # rustup override set nightly + # cargo miri setup + # - name: Test with Miri + # # 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). + # # + # # 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