Skip to content

Fix zizmor lints and add zizmor job#106

Merged
danielparks merged 2 commits into
mainfrom
zizmor
Jun 11, 2026
Merged

Fix zizmor lints and add zizmor job#106
danielparks merged 2 commits into
mainfrom
zizmor

GitHub workflows: add zizmor job

7782c63
Select commit
Loading
Failed to load commit list.
Sign in for the full log view