File tree 1 file changed +26
-0
lines changed
1 file changed +26
-0
lines changed Original file line number Diff line number Diff line change 70
70
# See tools/ci/src/main.rs for the commands this runs
71
71
run : cargo run -p ci -- nonlocal
72
72
73
+ miri :
74
+ runs-on : ubuntu-latest
75
+ steps :
76
+ - uses : actions/checkout@v3
77
+ - uses : actions/cache@v2
78
+ with :
79
+ path : |
80
+ ~/.cargo/bin/
81
+ ~/.cargo/registry/index/
82
+ ~/.cargo/registry/cache/
83
+ ~/.cargo/git/db/
84
+ target/
85
+ key : ${{ runner.os }}-cargo-ci-${{ hashFiles('**/Cargo.toml') }}
86
+ - uses : actions-rs/toolchain@v1
87
+ with :
88
+ toolchain : nightly
89
+ components : miri
90
+ override : true
91
+ - name : Install alsa and udev
92
+ run : sudo apt-get update; sudo apt-get install --no-install-recommends libasound2-dev libudev-dev libwayland-dev libxkbcommon-dev
93
+ - name : CI job
94
+ run : cargo miri test -p bevy_ecs
95
+ env :
96
+ RUSTFLAGS : -Zrandomize-layout
97
+ MIRIFLAGS : -Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-tag-raw-pointers
98
+
73
99
check-benches :
74
100
runs-on : ubuntu-latest
75
101
needs : ci
You can’t perform that action at this time.
0 commit comments