Skip to content

zizmor fixes (round 2)#15

Merged
tomkins merged 1 commit intomainfrom
zizmor-round-2
Jan 9, 2025
Merged

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

Commits

Commits on Jan 9, 2025