Noratrieb/stuff
1
0
Fork 0
mirror of https://github.com/Noratrieb/stuff.git synced 2026-01-14 16:35:08 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

new miriflags

Browse source
This commit is contained in:
nora 2022-10-09 10:57:19 +02:00
parent fb5ef389da
commit 041a4cd670
No known key found for this signature in database
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

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