Skip to content

chore: id-token permission for ci#254

Merged
peterpeterparker merged 1 commit intomainfrom
chore/permission
Apr 13, 2026
Merged

chore: id-token permission for ci#254
peterpeterparker merged 1 commit intomainfrom
chore/permission

Conversation

@peterpeterparker
Copy link
Copy Markdown
Contributor

Signed-off-by: David Dal Busco <david.dalbusco@outlook.com>
@peterpeterparker peterpeterparker merged commit 15ec401 into main Apr 13, 2026
4 checks passed
@peterpeterparker peterpeterparker deleted the chore/permission branch April 13, 2026 04:53
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.

1 participant