Skip to content

Conversation

@benoit-garcia
Copy link
Member

No description provided.

@benoit-garcia benoit-garcia requested a review from a team as a code owner November 24, 2025 21:46
@benoit-garcia benoit-garcia added bug Something isn't working github_actions Pull requests that update GitHub Actions code labels Nov 24, 2025
@benoit-garcia benoit-garcia merged commit 7903865 into main Nov 24, 2025
8 checks passed
@benoit-garcia benoit-garcia deleted the fix/ci-permissions branch November 24, 2025 21:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working github_actions Pull requests that update GitHub Actions code

Development

Successfully merging this pull request may close these issues.

2 participants