Skip to content

Harden workflows#115

Merged
jasonvarga merged 1 commit into
mainfrom
fix/workflow-permissions
May 30, 2026
Merged

Harden workflows#115
jasonvarga merged 1 commit into
mainfrom
fix/workflow-permissions

Conversation

@jasonvarga

Copy link
Copy Markdown
Member

This tightens up github actions and adds zizmor.

@jasonvarga
jasonvarga merged commit abc59b7 into main May 30, 2026
1 check passed
@jasonvarga
jasonvarga deleted the fix/workflow-permissions branch May 30, 2026 22:59
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