Skip to content

Zizmor#105

Merged
jasonvarga merged 6 commits into
masterfrom
zizmor
May 28, 2026
Merged

Zizmor#105
jasonvarga merged 6 commits into
masterfrom
zizmor

Conversation

@jasonvarga
Copy link
Copy Markdown
Member

This adds zizmor to secure our workflows, fixes issues on the only workflow we have, and fixes the typo in the filename.

@jasonvarga jasonvarga merged commit d386308 into master May 28, 2026
1 check passed
@jasonvarga jasonvarga deleted the zizmor branch May 28, 2026 17:43
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