File tree 1 file changed +13
-13
lines changed
1 file changed +13
-13
lines changed Original file line number Diff line number Diff line change @@ -76,20 +76,18 @@ jobs:
76
76
timeout-minutes : 60
77
77
steps :
78
78
- uses : actions/checkout@v3
79
- # TODO: re-enable cache once nightly is unpinned
80
- # - uses: actions/cache@v3
81
- # with:
82
- # path: |
83
- # ~/.cargo/bin/
84
- # ~/.cargo/registry/index/
85
- # ~/.cargo/registry/cache/
86
- # ~/.cargo/git/db/
87
- # target/
88
- # key: ${{ runner.os }}-cargo-miri-${{ hashFiles('**/Cargo.toml') }}
79
+ - uses : actions/cache@v3
80
+ with :
81
+ path : |
82
+ ~/.cargo/bin/
83
+ ~/.cargo/registry/index/
84
+ ~/.cargo/registry/cache/
85
+ ~/.cargo/git/db/
86
+ target/
87
+ key : ${{ runner.os }}-cargo-miri-${{ hashFiles('**/Cargo.toml') }}
89
88
- uses : actions-rs/toolchain@v1
90
89
with :
91
- # TODO: check again with nightly once https://github.com/rust-lang/miri/issues/2223 is fixed
92
- toolchain : nightly-2022-06-08
90
+ toolchain : nightly
93
91
components : miri
94
92
override : true
95
93
- name : Install alsa and udev
@@ -104,7 +102,9 @@ jobs:
104
102
# to track down because allocids are nondeterministic.
105
103
# -Zmiri-tag-raw-pointers is not strictly "necessary" but enables a lot of extra UB checks relating
106
104
# to raw pointer aliasing rules that we should be trying to uphold.
107
- MIRIFLAGS : -Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-tag-raw-pointers
105
+ # TODO: remove once https://github.com/rust-lang/miri/issues/2223 is fixed
106
+ # -Zmiri-disable-weak-memory-emulation
107
+ MIRIFLAGS : -Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-tag-raw-pointers -Zmiri-disable-weak-memory-emulation
108
108
109
109
check-compiles :
110
110
runs-on : ubuntu-latest
You can’t perform that action at this time.
0 commit comments