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

Revert "ci: allow gating gha on everything but macOS" #73863

Merged
merged 1 commit into from
Jul 1, 2020

Conversation

pietroalbini
Copy link
Member

The macOS issue on GHA's side seems to be fixed, so this is not needed anymore.

r? @Mark-Simulacrum

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 29, 2020
@Mark-Simulacrum
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Jun 30, 2020

📌 Commit c8f2dd0 has been approved by Mark-Simulacrum

@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 Jun 30, 2020
@Manishearth
Copy link
Member

@bors p=1 rollup=never

as a CI fix

@tangtangtang-tys

This comment has been minimized.

@bors

This comment has been minimized.

1 similar comment
@bors

This comment has been minimized.

@bors
Copy link
Contributor

bors commented Jul 1, 2020

⌛ Testing commit c8f2dd0 with merge 1505c12...

@bors
Copy link
Contributor

bors commented Jul 1, 2020

☀️ Test successful - checks-actions, checks-azure
Approved by: Mark-Simulacrum
Pushing 1505c12 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jul 1, 2020
@bors bors merged commit 1505c12 into rust-lang:master Jul 1, 2020
@pietroalbini pietroalbini deleted the revert-8bc3122311d branch December 23, 2020 23:00
@cuviper cuviper added this to the 1.46 milestone May 2, 2024
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.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants