Skip to content

Commit

Permalink
Temporarily disable miri CI until crossbeam-epoch changes are available
Browse files Browse the repository at this point in the history
  • Loading branch information
Imberflur committed Feb 21, 2025
1 parent 54bdc1a commit ee55374
Showing 1 changed file with 18 additions and 17 deletions.
35 changes: 18 additions & 17 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit ee55374

Please sign in to comment.