Skip to content

Use zizmor to lint GitHub action workflows#613

Merged
mweinelt merged 3 commits intomainfrom
zizmor-lints
Apr 6, 2025
Merged

Use zizmor to lint GitHub action workflows#613
mweinelt merged 3 commits intomainfrom
zizmor-lints

Commits

Commits on Apr 6, 2025