Skip to content

ci: pin actions and lint with zizmor#13

Merged
jon4hz merged 1 commit into
mainfrom
zizmor-lint
May 29, 2026
Merged

ci: pin actions and lint with zizmor#13
jon4hz merged 1 commit into
mainfrom
zizmor-lint

Commits

Commits on May 29, 2026