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.

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

Jump to bottom

Miri subtree update #137542

Closed
wants to merge 70 commits into from
Closed

Miri subtree update #137542

wants to merge 70 commits into from

Conversation

RalfJung
Copy link
Member

r? @ghost

The Miri Cronjob Bot and others added 30 commits February 3, 2025 04:55
Preparing for merge from rustc
3f57fc1
Merge from rustc
45c3b3d
@oli-obk
Merge pull request rust-lang#4175 from rust-lang/rustup-2025-02-03
6e94718 
Automatic Rustup
Preparing for merge from rustc
9a858fa
Merge from rustc
cf4be3f
@RalfJung
update JSON target spec to declare softfloat ABI
8f1c4a3
@RalfJung
Merge pull request rust-lang#4176 from rust-lang/rustup-2025-02-04
4d78916 
Automatic Rustup
@RalfJung
Merge pull request rust-lang#4177 from psumbera/solaris-no-flock
a2d4f7f 
Use fcntl locking on Solaris instead of flock which is missing there.
@RalfJung
Preparing for merge from rustc
6b969d7
@RalfJung
Merge from rustc
7f95fa4
@RalfJung
bump default max parallelism up to 20
e58e3d5
@psumbera
Fix build on Solaris where is no flock().
9673d8d
@RalfJung
use cfg_match
a058e1a
@RalfJung
Merge pull request rust-lang#4178 from RalfJung/rustup
abe6846 
Rustup
@rayslava
allow code to call geteuid()
2d7f2ff
Preparing for merge from rustc
eb41458
Merge from rustc
7afb845
@oli-obk
Merge pull request rust-lang#4180 from rust-lang/rustup-2025-02-06
8f11cc0 
Automatic Rustup
@RalfJung
Merge pull request rust-lang#4179 from rayslava/master
fd11306 
allow code to call geteuid()
@tiif
Throw ub error when invoking non-vararg shim with vararg import
046451d
@RalfJung
inline a once-used function
550d217
@RalfJung
some more argument checking cleanup
af04c0d
@RalfJung
Merge pull request rust-lang#4181 from tiif/check_shim_variadic
0193a5a 
Throw ub error when invoking non-vararg shim with vararg import
Preparing for merge from rustc
89fd6d0
Merge from rustc
1194ad9
fmt
1a6fece
@RalfJung
Merge pull request rust-lang#4182 from rust-lang/rustup-2025-02-07
66c54d9 
Automatic Rustup
Preparing for merge from rustc
2a60a25
Merge from rustc
510e844
@saethlin
Merge pull request rust-lang#4184 from rust-lang/rustup-2025-02-08
f22fd36 
Automatic Rustup
RalfJung and others added 15 commits February 20, 2025 12:32
@RalfJung
Merge pull request rust-lang#4198 from Kobzol/remove-gha-summary
6bfaa5a 
Remove GitHub job summaries
@tiif
Resolve some FIXME from socketpair test
1679035
@RalfJung
Merge pull request rust-lang#4199 from tiif/small_fix
d15e00e 
Resolve some small FIXMEs
@bjorn3
Implement vpmaxq_u8 on aarch64
ad0810b
@bjorn3
Fix review comments
eb4720d
@bjorn3
Add tests
d0dc36e
@RalfJung
Preparing for merge from rustc
9374bf7
@RalfJung
Merge from rustc
2a8a9f8
@RalfJung
Merge pull request rust-lang#4203 from RalfJung/rustup
f461981 
Rustup
@RalfJung
sanity-check for HOST_TARGET
ec480ab
@RalfJung
make sure we install the toolchain for the intended host target
e1aa75e
@RalfJung
add missing float non-determinism tests and skip some on i686-pc-wind…
e83fd5f 
…ows-msvc that are internally implemented via f64
@RalfJung
slightly extend comment
4303a14
@RalfJung
Merge pull request rust-lang#4205 from RalfJung/host-target
9c31612 
make sure we install the toolchain for the intended host target
@RalfJung
Merge pull request rust-lang#4193 from bjorn3/arm64_vpmaxq_u8
a81d0b5 
Implement vpmaxq_u8 on aarch64
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Feb 24, 2025
@RalfJung
Copy link
Member Author

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Feb 24, 2025

📌 Commit a81d0b5 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 24, 2025
@bors
Copy link
Contributor

bors commented Feb 24, 2025

⌛ Testing commit a81d0b5 with merge 20c8820...

bors added a commit to rust-lang-ci/rust that referenced this pull request Feb 24, 2025
@bors
Auto merge of rust-lang#137542 - RalfJung:miri-sync, r=RalfJung
20c8820 
Miri subtree update

r? `@ghost`
@rust-log-analyzer
Copy link
Collaborator

The job x86_64-gnu-aux failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot) 
test result: FAILED. 1772 passed; 1 failed; 7 ignored; 0 measured; 0 filtered out; finished in 519.12s

error: test failed, to rerun pass `-p coretests --test coretests`
Build completed unsuccessfully in 0:30:20
make: *** [Makefile:53: check-aux] Error 1
  network time: Mon, 24 Feb 2025 19:16:36 GMT
##[error]Process completed with exit code 2.
Post job cleanup.

@bors
Copy link
Contributor

bors commented Feb 24, 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 24, 2025
@bors
Copy link
Contributor

bors commented Feb 25, 2025

☔ The latest upstream changes (presumably #137573) made this pull request unmergeable. Please resolve the merge conflicts.

@RalfJung
Copy link
Member Author

Blocked on #137591

@RalfJung RalfJung closed this Feb 25, 2025
@RalfJung RalfJung deleted the miri-sync branch February 25, 2025 07:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.