upgrade, lol

This commit is contained in:
nora 2022-09-15 19:32:40 +02:00
parent 93cf31b906
commit f033557c51
2 changed files with 3 additions and 3 deletions

View file

@ -108,7 +108,7 @@ jobs:
runs-on: ubuntu-latest
env:
RUSTFLAGS: "-Zrandomize-layout"
MIRIFLAGS: "-Zmiri-symbolic-alignment-check -Zmiri-check-number-validity -Zmiri-tag-raw-pointers"
MIRIFLAGS: ""
steps:
- uses: actions/checkout@v2
with: