We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5d1c6d1 commit 545c045Copy full SHA for 545c045
.github/workflows/_build-rust.yml
@@ -101,6 +101,8 @@ jobs:
101
run: |
102
rustup component add miri
103
# Run with stack-borrow model
104
- cargo miri test
+ # XXX Temporarily, just for multiboot2 crate.
105
+ cargo miri test -p multiboot2
106
# Run with tree-borrow model
- MIRIFLAGS=-Zmiri-tree-borrows cargo +nightly miri test
107
108
+ MIRIFLAGS=-Zmiri-tree-borrows cargo +nightly miri test -p multiboot2
0 commit comments