Skip to content

chore(ci): Restrict permissions for GITHUB_TOKEN#83

Merged
jorsol merged 1 commit intomainfrom
restrict-token-perms
Aug 10, 2025
Merged

chore(ci): Restrict permissions for GITHUB_TOKEN#83
jorsol merged 1 commit intomainfrom
restrict-token-perms

Commits

Commits on Aug 10, 2025