Skip to content

ci: Set explicit permissions for CI workflow#59

Merged
GabDug merged 1 commit into
mainfrom
ci-perms
Oct 11, 2025
Merged

ci: Set explicit permissions for CI workflow#59
GabDug merged 1 commit into
mainfrom
ci-perms

Conversation

@GabDug
Copy link
Copy Markdown
Owner

@GabDug GabDug commented Oct 11, 2025

Explicitly set "read" permissions, to avoid giving too much permissions to the associated GITHUB_TOKEN. Least privileges etc...

@GabDug GabDug enabled auto-merge (rebase) October 11, 2025 13:56
@codecov
Copy link
Copy Markdown

codecov Bot commented Oct 11, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.14%. Comparing base (37b5528) to head (26b8e34).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #59   +/-   ##
=======================================
  Coverage   97.14%   97.14%           
=======================================
  Files          12       12           
  Lines         701      701           
  Branches       63       63           
=======================================
  Hits          681      681           
  Misses         18       18           
  Partials        2        2           
Flag Coverage Δ
unittests 97.00% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@GabDug GabDug added the github_actions Pull requests that update GitHub Actions code label Oct 11, 2025
@GabDug GabDug disabled auto-merge October 11, 2025 13:57
@GabDug GabDug enabled auto-merge (rebase) October 11, 2025 13:57
@GabDug GabDug merged commit cae7225 into main Oct 11, 2025
16 of 17 checks passed
@GabDug GabDug deleted the ci-perms branch October 11, 2025 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant