Skip to content

Reduce permissions of GitHub actions tokens#503

Merged
simu merged 1 commit into
masterfrom
ci/reduce-token-permissions
Jun 3, 2026
Merged

Reduce permissions of GitHub actions tokens#503
simu merged 1 commit into
masterfrom
ci/reduce-token-permissions

Conversation

@simu

@simu simu commented Jun 3, 2026

Copy link
Copy Markdown
Member

Checklist

  • PR contains a single logical change (to build a better changelog).
  • Categorize the PR by setting a good title and adding one of the labels:
    bug, enhancement, documentation, change, breaking, dependency
    as they show up in the changelog

@simu simu added the ignore label Jun 3, 2026
@simu simu force-pushed the ci/reduce-token-permissions branch from 58ab135 to e221f23 Compare June 3, 2026 07:55
@simu simu merged commit 17e548e into master Jun 3, 2026
3 checks passed
@simu simu deleted the ci/reduce-token-permissions branch June 3, 2026 07:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant