Skip to content

Commit 3dc8311

Browse files
authored
Merge pull request #19702 from lnicola/sync-from-rust
internal: Sync from downstream
2 parents 40189fb + 5779a71 commit 3dc8311

File tree

138 files changed

+2871
-1230
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

138 files changed

+2871
-1230
lines changed

.github/workflows/sysroots.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ jobs:
1616
- uses: actions/checkout@v4
1717
- name: Build the sysroots
1818
run: |
19+
rustup toolchain install nightly
1920
cargo install -f rustup-toolchain-install-master
2021
./miri toolchain -c rust-docs # Docs are the only place targets are separated by tier
2122
./miri install

CONTRIBUTING.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -153,7 +153,7 @@ MIRI_LOG=rustc_mir::interpret=info,miri::stacked_borrows ./miri run tests/pass/v
153153

154154
Note that you will only get `info`, `warn` or `error` messages if you use a prebuilt compiler.
155155
In order to get `debug` and `trace` level messages, you need to build miri with a locally built
156-
compiler that has `debug=true` set in `config.toml`.
156+
compiler that has `debug=true` set in `bootstrap.toml`.
157157

158158
#### Debugging error messages
159159

0 commit comments

Comments
 (0)