Skip to content

Audit GitHub Actions, fix issues, and add zizmor job#238

Merged
xmudrii merged 1 commit into
mainfrom
zizmor
Jul 13, 2026
Merged

Audit GitHub Actions, fix issues, and add zizmor job#238
xmudrii merged 1 commit into
mainfrom
zizmor

Commits

Commits on Jul 13, 2026