Skip to content

Conversation

@github-actions
Copy link

Please close and re-open this PR to trigger CI, then enable auto-merge.

bors and others added 4 commits November 21, 2024 04:34
@RalfJung RalfJung closed this Nov 22, 2024
@RalfJung RalfJung reopened this Nov 22, 2024
@RalfJung RalfJung enabled auto-merge November 22, 2024 06:39
@RalfJung RalfJung added this pull request to the merge queue Nov 22, 2024
Merged via the queue into master with commit 158973f Nov 22, 2024
7 checks passed
@RalfJung RalfJung deleted the rustup-2024-11-22 branch November 22, 2024 07:29
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.

3 participants