Skip to content

Add zizmor workflow linting#6

Merged
rgerhards merged 1 commit into
mainfrom
ci/add-zizmor
May 18, 2026
Merged

Add zizmor workflow linting#6
rgerhards merged 1 commit into
mainfrom
ci/add-zizmor

Commits

Commits on May 18, 2026