Skip to content

Conversation

@sunfishcode
Copy link
Member

This was pinned in #1486, which is no longer needed.

This was pinned in #1486, which is no longer needed.
@sunfishcode sunfishcode merged commit 82c6ebb into main Nov 9, 2025
18 of 50 checks passed
@sunfishcode sunfishcode deleted the sunfishcode/unpin-nightly branch November 9, 2025 15: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.

2 participants