swaits/dioxus
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge branch 'miri-leak' into events-2

Browse Source
This commit is contained in:
Evan Almloff committed 2023-10-30 16:18:12 -05:00
2 parents 5bb06b9719 eea4a02ef5
commit 57dd56c8a4
5 files changed
+62 -20
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

.github/workflows/miri.yml
+1 -2
View File
@@ -86,8 +86,7 @@ jobs:
# working-directory: tokio
env:
# todo: disable memory leaks ignore
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields -Zmiri-ignore-leaks
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields
PROPTEST_CASES: 10
# Cache the global cargo directory, but NOT the local `target` directory which