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

Downgrade CI support for MIPS #3429

Merged
merged 1 commit into from
Nov 11, 2023
Merged

Conversation

JohnTitor
Copy link
Member

MIPS targets are now tier 3, this downgrades CI support for MIPS just like other tier 3 targets.

@rustbot
Copy link
Collaborator

rustbot commented Nov 9, 2023

@JohnTitor: no appropriate reviewer found, use r? to override

@JohnTitor
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Nov 9, 2023

📌 Commit f5ba3fd has been approved by JohnTitor

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 9, 2023

⌛ Testing commit f5ba3fd with merge 4e2b133...

bors added a commit that referenced this pull request Nov 9, 2023
Downgrade CI support for MIPS

MIPS targets are now tier 3, this downgrades CI support for MIPS just like other tier 3 targets.
@bors
Copy link
Contributor

bors commented Nov 9, 2023

💔 Test failed - checks-cirrus-freebsd-14

@JohnTitor
Copy link
Member Author

@bors r+ p=10

@bors
Copy link
Contributor

bors commented Nov 11, 2023

📌 Commit ef3a782 has been approved by JohnTitor

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 11, 2023

⌛ Testing commit ef3a782 with merge 614d5e2...

@bors
Copy link
Contributor

bors commented Nov 11, 2023

☀️ Test successful - checks-actions, checks-cirrus-freebsd-12, checks-cirrus-freebsd-13, checks-cirrus-freebsd-14
Approved by: JohnTitor
Pushing 614d5e2 to main...

@bors bors merged commit 614d5e2 into rust-lang:main Nov 11, 2023
11 checks passed
@JohnTitor JohnTitor deleted the mips-is-now-tier3 branch November 11, 2023 22:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants