Skip to content

ci: fix zizmor issues [security]#33

Merged
joshuasing merged 2 commits into
mainfrom
joshua/zizmor
Jun 29, 2026
Merged

ci: fix zizmor issues [security]#33
joshuasing merged 2 commits into
mainfrom
joshua/zizmor

Commits

Commits on Jun 19, 2026

Commits on Jun 22, 2026