Skip to content

chore: fix zizmor#2317

Closed
zeitlinger wants to merge 1 commit into
mainfrom
fix-zizmor
Closed

chore: fix zizmor#2317
zeitlinger wants to merge 1 commit into
mainfrom
fix-zizmor

Commits

Commits on Jul 20, 2026