Skip to content

Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow#552

Merged
tautschnig merged 2 commits intomodel-checking:mainfrom
AdnaneKhan:update/scopedown-token
Mar 5, 2026
Merged

Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow#552
tautschnig merged 2 commits intomodel-checking:mainfrom
AdnaneKhan:update/scopedown-token

Conversation

@AdnaneKhan
Copy link

Please add a description of your PR.
If this is a solution to an open challenge, please explain your solution.

Don't forget to check our book to ensure your solution satisfy the overall
requirements as well as the challenge success criteria.

This PR uses minimal GitHub Token permissions for writing to a branch and creating a PR instead of relying on overly permissive defaults.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@AdnaneKhan AdnaneKhan requested a review from a team as a code owner February 26, 2026 17:27
@tautschnig tautschnig added this pull request to the merge queue Mar 5, 2026
Merged via the queue into model-checking:main with commit c69b9b9 Mar 5, 2026
27 checks passed
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.

2 participants