mirrors/salsa
1
0
Fork 0
mirror of https://github.com/salsa-rs/salsa.git synced 2025-01-27 15:07:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

chore: set MIRIFLAGS to -Zmiri-disable-isolation -Zmiri-retag-fields

Browse source
This commit is contained in:
David Barsky 2024-08-23 14:30:59 -04:00
parent e4d36daf2d
commit 3b7246ba9f
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/test.yml vendored
View file

@ -85,6 +85,8 @@ jobs:
run: cargo miri setup run: cargo miri setup
- name: Test with Miri - name: Test with Miri
run: cargo miri test --no-fail-fast --all-features run: cargo miri test --no-fail-fast --all-features
env:
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-retag-fields
- name: Run examples with Miri - name: Run examples with Miri
run: | run: |
cargo miri run --example calc cargo miri run --example calc