Skip to content

miri subtree update #145632

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
RalfJung wants to merge 43 commits into from
Closed

miri subtree update #145632

Changes from 1 commit
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
0ed3ef4
Use GH app for authenticating pull PRs
Kobzol Jul 29, 2025
1fd183e
Apply suggestions from code review
Kobzol Jul 29, 2025
6508b5a
Merge pull request #4505 from Kobzol/ci-gh-app
RalfJung Jul 29, 2025
64ed2b5
rustup
RalfJung Jul 31, 2025
76a213b
rely on preinstalled rustup on windows-arm
RalfJung Jul 31, 2025
4768724
Merge pull request #4509 from RalfJung/win-ci
RalfJung Jul 31, 2025
431fc2a
bless cargo miri doctest execution
RalfJung Jul 31, 2025
63cbeff
Merge pull request #4508 from RalfJung/rustup
RalfJung Jul 31, 2025
67cce09
Prepare for merging from rust-lang/rust
Aug 1, 2025
aa73f45
Merge ref 'adcb3d3b4cd3' from rust-lang/rust
Aug 1, 2025
620141d
fmt
Aug 1, 2025
be358c6
Merge pull request #4510 from rust-lang/rustup-2025-08-01
RalfJung Aug 1, 2025
6ab38e4
update rustup PR message
RalfJung Aug 1, 2025
8bd9bb9
Merge pull request #4511 from RalfJung/auto-rustup
RalfJung Aug 1, 2025
ff400ea
Prepare for merging from rust-lang/rust
Aug 4, 2025
4c07ca6
Merge ref '07b7dc90ee4d' from rust-lang/rust
Aug 4, 2025
fed28f8
Merge pull request #4513 from rust-lang/rustup-2025-08-04
saethlin Aug 4, 2025
55a8c2d
Prepare for merging from rust-lang/rust
Aug 9, 2025
fd45eef
Merge ref '4c7749e8c8e5' from rust-lang/rust
Aug 9, 2025
b4e279e
Remove cfg(bootstrap) for strict_overflow_ops
saethlin Aug 9, 2025
547e2b7
Fix a clippy::needless_borrow
saethlin Aug 9, 2025
5a79c57
Add gettid support for Android
saethlin Aug 10, 2025
210bd5f
Merge pull request #4518 from rust-lang/rustup-2025-08-09
saethlin Aug 10, 2025
117a095
Add tracing to data race functions
Stypox Aug 11, 2025
0b78f63
Prepare for merging from rust-lang/rust
Aug 13, 2025
24eaf5d
Merge ref '1553adfe6884' from rust-lang/rust
Aug 13, 2025
542bd3e
Merge pull request #4525 from rust-lang/rustup-2025-08-13
saethlin Aug 13, 2025
3ff426b
Prepare for merging from rust-lang/rust
Aug 15, 2025
c549eb3
Merge ref '3507a749b365' from rust-lang/rust
Aug 15, 2025
216b606
Merge pull request #4527 from rust-lang/rustup-2025-08-15
oli-obk Aug 15, 2025
122517d
Prepare for merging from rust-lang/rust
Aug 18, 2025
9cac742
Merge ref '425a9c0a0e36' from rust-lang/rust
Aug 18, 2025
244eea5
fmt
Aug 18, 2025
4f1de56
Merge pull request #4528 from rust-lang/rustup-2025-08-18
RalfJung Aug 18, 2025
3bb9172
Merge pull request #4523 from Stypox/data-race-tracing
RalfJung Aug 18, 2025
1c42add
triagebot: Show range-diff links on force pushes
RalfJung Aug 18, 2025
ebb5f98
Merge pull request #4529 from RalfJung/triagebot-range-diff-awesomeness
RalfJung Aug 18, 2025
ce2d0d1
link to TB doc in unsafe-code-guidelines
JoJoDeveloping Aug 19, 2025
a7bf08f
God bless the tests
JoJoDeveloping Aug 19, 2025
ed1ff8d
Merge pull request #4530 from JoJoDeveloping/tb-doc-ugc-link
RalfJung Aug 19, 2025
309b87f
Support weak definitions
bjorn3 Jun 26, 2025
f9d08d9
Merge pull request #4414 from bjorn3/weak_defs
RalfJung Aug 19, 2025
045b208
add back cfg(bootstrap), it is still needed
RalfJung Aug 20, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge ref '3507a749b365' from rust-lang/rust 
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 3507a74
Filtered ref: 67f9124a1e199effc310447c1c1f9548093bd8f9

This merge was created using https://github.com/rust-lang/josh-sync.
  • Loading branch information
The Miri Cronjob Bot committed Aug 15, 2025
commit c549eb32bff1d73c33af3c163856536e66894335

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.