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 269f15b commit 7da331eCopy full SHA for 7da331e
.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