Skip to content

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Aug 11, 2025

No description provided.

@per1234 per1234 self-assigned this Aug 11, 2025
@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Aug 11, 2025
@per1234 per1234 merged commit 594946b into arduino:main Aug 11, 2025
11 of 12 checks passed
@per1234 per1234 deleted the bump-go branch August 11, 2025 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant