Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2023-02-03 to
nightly-2023-02-04 without any other source changes.

Thiis is an automatically generated pull request. If any of the CI checks fail,
manual intervention is required. In such a case, review the changes at
https://github.com/rust-lang/rust.

@github-actions github-actions bot requested a review from a team as a code owner March 28, 2023 09:50
@tautschnig tautschnig enabled auto-merge (squash) March 28, 2023 09:52
@tautschnig tautschnig closed this Mar 28, 2023
auto-merge was automatically disabled March 28, 2023 18:30

Pull request was closed

@zhassan-aws zhassan-aws deleted the toolchain-2023-02-04 branch March 28, 2023 18:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant