Skip to content

zizmor fixes (round 1)#14

Merged
tomkins merged 1 commit intomainfrom
zizmor-fixes
Dec 14, 2024
Merged

zizmor fixes (round 1)#14
tomkins merged 1 commit intomainfrom
zizmor-fixes

Commits

Commits on Dec 14, 2024