Skip to content

Commit 545c045

Browse files
committed
ci: temporarily, run miri only for multiboot2
The same changes made in this crate, also needs to be done in multiboot2-header.
1 parent 5d1c6d1 commit 545c045

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

.github/workflows/_build-rust.yml

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -101,6 +101,8 @@ jobs:
101101
run: |
102102
rustup component add miri
103103
# Run with stack-borrow model
104-
cargo miri test
104+
# XXX Temporarily, just for multiboot2 crate.
105+
cargo miri test -p multiboot2
105106
# Run with tree-borrow model
106-
MIRIFLAGS=-Zmiri-tree-borrows cargo +nightly miri test
107+
# XXX Temporarily, just for multiboot2 crate.
108+
MIRIFLAGS=-Zmiri-tree-borrows cargo +nightly miri test -p multiboot2

0 commit comments

Comments
 (0)