Skip to content

Conversation

@giordano
Copy link
Collaborator

No description provided.

@giordano giordano added the github_actions Pull requests that update GitHub Actions code label Aug 30, 2025
@giordano giordano merged commit 4bc56c8 into main Aug 30, 2025
2 checks passed
@giordano giordano deleted the giordano-patch-1 branch August 30, 2025 20:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants