Skip to content

CI: Harden permissions#22

Merged
dubek merged 1 commit intomainfrom
ci-permissions
Oct 12, 2025
Merged

CI: Harden permissions#22
dubek merged 1 commit intomainfrom
ci-permissions

Conversation

@dubek
Copy link
Owner

@dubek dubek commented Oct 12, 2025

Follow recommendations from zizmor scan

Follow recommendations from zizmor scan
@dubek dubek merged commit 4e8ff36 into main Oct 12, 2025
10 checks passed
@dubek dubek deleted the ci-permissions branch October 12, 2025 19:34
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.

1 participant

Comments