Skip to content

ci: remove coverage job write permission - #1219

Merged
DaleSeo merged 1 commit into
mainfrom
jamadeo/restrict-ci-coverage-token
Aug 27, 2026
Merged

ci: remove coverage job write permission#1219
DaleSeo merged 1 commit into
mainfrom
jamadeo/restrict-ci-coverage-token

Conversation

@jamadeo

@jamadeo jamadeo commented Aug 25, 2026

Copy link
Copy Markdown
Contributor

Summary

Changes the coverage job's GITHUB_TOKEN permission from contents: write to contents: read. The job checks out code and computes coverage locally; it does not write repository contents.

Addresses the CI write-permission finding tracked in #1215.

@jamadeo
jamadeo requested a review from a team as a code owner August 25, 2026 18:43
@jamadeo
jamadeo marked this pull request as draft August 25, 2026 18:43
@github-actions github-actions Bot added T-CI Changes to CI/CD workflows and configuration T-config Configuration file changes labels Aug 25, 2026
@jamadeo
jamadeo marked this pull request as ready for review August 25, 2026 18:51
@DaleSeo
DaleSeo merged commit c8bb1c6 into main Aug 27, 2026
22 checks passed
@DaleSeo
DaleSeo deleted the jamadeo/restrict-ci-coverage-token branch August 27, 2026 10:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

T-CI Changes to CI/CD workflows and configuration T-config Configuration file changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants