Skip to content

CI: add windows-arm runner #4479

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

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Conversation

RalfJung
Copy link
Member

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Jul 19, 2025

Thank you for contributing to Miri!
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.

@rustbot rustbot added the S-waiting-on-review Status: Waiting for a review to complete label Jul 19, 2025
@RalfJung RalfJung force-pushed the ci-win-arm branch 2 times, most recently from 7da22b3 to 7d7e6b5 Compare July 19, 2025 07:51
@RalfJung
Copy link
Member Author

This doesn't work yet, rustup-toolchain-install-master currently cannot be built on windows-arm since it depends on winapi:

rustup-toolchain-install-master v1.8.1 (/home/r/src/rust/rustup-toolchain-install-master)
├── ansi_term v0.12.1
│   └── winapi v0.3.9
...
├── pbr v1.1.1
│   ├── crossbeam-channel v0.5.15
│   │   └── crossbeam-utils v0.8.21
│   ├── libc v0.2.174
│   └── winapi v0.3.9 (*)

Cc @kennytm
Might be relevant for rust-lang/rfcs#3817

@RalfJung RalfJung marked this pull request as draft July 19, 2025 08:05
@rustbot rustbot added S-waiting-on-author Status: Waiting for the PR author to address review comments and removed S-waiting-on-review Status: Waiting for a review to complete labels Jul 19, 2025
@RalfJung RalfJung added S-blocked Status: blocked on something happening somewhere else and removed S-waiting-on-author Status: Waiting for the PR author to address review comments labels Jul 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-blocked Status: blocked on something happening somewhere else
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants