Skip to content
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.

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

Miri subtree update #137594

Merged
merged 75 commits into from
Feb 26, 2025
Merged

Miri subtree update #137594

merged 75 commits into from
Feb 26, 2025

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Feb 25, 2025

r? @ghost

try-job: x86_64-gnu-aux

The Miri Cronjob Bot and others added 30 commits February 3, 2025 04:55
Use fcntl locking on Solaris instead of flock which is missing there.
Throw ub error when invoking non-vararg shim with vararg import
@bors
Copy link
Contributor

bors commented Feb 25, 2025

⌛ Testing commit 5e4c582 with merge ca04cf6...

bors added a commit to rust-lang-ci/rust that referenced this pull request Feb 25, 2025
@rust-log-analyzer

This comment has been minimized.

@bors
Copy link
Contributor

bors commented Feb 25, 2025

💔 Test failed - checks-actions

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Feb 25, 2025
@rustbot rustbot added the T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) label Feb 25, 2025
@RalfJung
Copy link
Member Author

I've disabled float non-determinism for now while we evaluate the situation (see rust-lang/miri#4208, rust-lang/miri#4207).

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Feb 25, 2025

📌 Commit 716dd22 has been approved by RalfJung

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 25, 2025
@bors
Copy link
Contributor

bors commented Feb 25, 2025

⌛ Testing commit 716dd22 with merge cb06d12...

@bors
Copy link
Contributor

bors commented Feb 26, 2025

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing cb06d12 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Feb 26, 2025
@bors bors merged commit cb06d12 into rust-lang:master Feb 26, 2025
7 checks passed
@rustbot rustbot added this to the 1.87.0 milestone Feb 26, 2025
@rust-timer
Copy link
Collaborator

Finished benchmarking commit (cb06d12): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results (secondary 1.6%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
1.6% [1.6%, 1.6%] 1
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) - - 0

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 770.518s -> 771.258s (0.10%)
Artifact size: 362.00 MiB -> 361.98 MiB (-0.01%)

@RalfJung RalfJung deleted the miri-sync branch February 26, 2025 06:46
@RalfJung
Copy link
Member Author

@Kobzol this finally syncs the CI changes you made :)

@Kobzol
Copy link
Contributor

Kobzol commented Feb 26, 2025

@RalfJung
Copy link
Member Author

Oh damn, sorry for that. I can send a revert if you want?

@Kobzol
Copy link
Contributor

Kobzol commented Feb 26, 2025

Even though that PR was already approved, the change potentially causes some issues (https://rust-lang.zulipchat.com/#narrow/channel/326414-t-infra.2Fbootstrap/topic/LLVM.20upgrades.20broken.20again) so maybe it would be better to revert first and investigate, yeah.

fmease added a commit to fmease/rust that referenced this pull request Feb 26, 2025
… r=Kobzol

revert accidental change in get_closest_merge_commit

This was accidentally merged as part of rust-lang#137594. I need this local diff to be able to debug miri syncs, and then typed `git commit -a` too fast and didn't realize it includes this change... sorry for that.

r? `@Kobzol`
fmease added a commit to fmease/rust that referenced this pull request Feb 26, 2025
… r=Kobzol

revert accidental change in get_closest_merge_commit

This was accidentally merged as part of rust-lang#137594. I need this local diff to be able to debug miri syncs, and then typed `git commit -a` too fast and didn't realize it includes this change... sorry for that.

r? ``@Kobzol``
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Feb 26, 2025
Rollup merge of rust-lang#137670 - RalfJung:llvm-commit-logic-revert, r=Kobzol

revert accidental change in get_closest_merge_commit

This was accidentally merged as part of rust-lang#137594. I need this local diff to be able to debug miri syncs, and then typed `git commit -a` too fast and didn't realize it includes this change... sorry for that.

r? ``@Kobzol``
github-actions bot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Feb 27, 2025
revert accidental change in get_closest_merge_commit

This was accidentally merged as part of rust-lang/rust#137594. I need this local diff to be able to debug miri syncs, and then typed `git commit -a` too fast and didn't realize it includes this change... sorry for that.

r? ``@Kobzol``
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-libs Relevant to the library team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.