diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 192b2a8..ebfa83d 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -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