Skip to content

Conversation

@colindean
Copy link
Collaborator

@colindean colindean commented Nov 19, 2025

@colindean colindean requested review from a team and c-horn as code owners November 19, 2025 16:19
@colindean colindean enabled auto-merge November 19, 2025 16:26
@colindean colindean added this pull request to the merge queue Nov 19, 2025
Merged via the queue into main with commit 7d53793 Nov 19, 2025
4 checks passed
@colindean colindean deleted the pin-coursier branch November 19, 2025 16:54
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