mirrors/salsa
1
0
Fork 0
mirror of https://github.com/salsa-rs/salsa.git synced 2024-11-28 01:06:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add -Zmiri-isolation-error=warn miri flag

Browse source 
`-Zmiri-disable-isolation` can't be used since `insta` eventually ends up
calling `pipe2`, which currently doesn't have a shim in miri.
This commit is contained in:
DropDemBits 2023-11-09 23:36:23 -05:00
parent 8eadaf35dc
commit 95d5fc2211
No known key found for this signature in database
GPG key ID: D550F8DFBB392533
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

@ -67,6 +67,8 @@ jobs:
miri:
name: "Miri"
runs-on: ubuntu-latest
env:
MIRIFLAGS: "-Zmiri-isolation-error=warn"
steps:
- uses: actions/checkout@v3
- name: Install Miri