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

Run Windows tests on PRs too #17035

Merged
merged 1 commit into from
Apr 13, 2024
Merged

Conversation

Wilfred
Copy link
Contributor

@Wilfred Wilfred commented Apr 8, 2024

Previously PRs would only do a build on Windows, which confusingly meant that PRs got a green tick for Windows despite not testing them.

See discussion in #17019.

Previously PRs would only do a build on Windows, which confusingly
meant that PRs got a green tick for Windows despite not testing them.

See discussion in rust-lang#17019.
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 8, 2024
@Wilfred Wilfred marked this pull request as ready for review April 8, 2024 18:38
@Veykril
Copy link
Member

Veykril commented Apr 13, 2024

@bors r+

@bors
Copy link
Collaborator

bors commented Apr 13, 2024

📌 Commit 6df559f has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Apr 13, 2024

⌛ Testing commit 6df559f with merge 85542e0...

@bors
Copy link
Collaborator

bors commented Apr 13, 2024

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 85542e0 to master...

@bors bors merged commit 85542e0 into rust-lang:master Apr 13, 2024
11 checks passed
@Wilfred Wilfred deleted the windows_ci_on_prs branch April 30, 2024 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants