Skip to content

Commit 0637bf7

Browse files
feat: add miri sysroot (#9)
1 parent cfc08a9 commit 0637bf7

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

.github/workflows/build_and_release_rust.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -95,6 +95,7 @@ jobs:
9595
./x.py install -i --stage 0 llvm-tools
9696
./x.py install -i --stage 0 cargo
9797
./x.py install -i --stage 0 miri
98+
MIRI_LIB_SRC=library MIRI_SYSROOT=${DESTDIR}/usr/local/lib/rustlib/x86_64-unknown-linux-gnu/miri-sysroot cargo miri setup
9899
99100
- name: Create tarball
100101
run: |

0 commit comments

Comments
 (0)