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

Unpin nightly toolchain #274

Merged
merged 1 commit into from
Jun 21, 2023
Merged

Unpin nightly toolchain #274

merged 1 commit into from
Jun 21, 2023

Conversation

mmarx
Copy link
Member

@mmarx mmarx commented Jun 20, 2023

With rust-lang/rust#112831 fixed, we can unpin the nightly toolchain again.

Should not be merged before the first 2023-06-20 (or later) nightly build with all required components is available.

@mmarx mmarx added the infrastructure Build/CI/packaging infrastructure label Jun 20, 2023
@mmarx mmarx added this to the Release 0.3.0 milestone Jun 20, 2023
@mmarx mmarx self-assigned this Jun 20, 2023
@mmarx mmarx marked this pull request as ready for review June 20, 2023 19:28
@mmarx
Copy link
Member Author

mmarx commented Jun 20, 2023

Since the CI checks that the toolchain is indeed unbroken, this doesn't need to be a draft.

With rust-lang/rust#112831 fixed, we can
unpin the nightly toolchain again
@mmarx mmarx merged commit 36e0036 into main Jun 21, 2023
@mmarx mmarx deleted the unpin-nightly branch June 21, 2023 08:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
infrastructure Build/CI/packaging infrastructure
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

1 participant