Skip to content

tighten github actions with zizmor#415

Merged
mr-c merged 1 commit into
mainfrom
ci/gh-actions/tighten
Apr 28, 2026
Merged

tighten github actions with zizmor#415
mr-c merged 1 commit into
mainfrom
ci/gh-actions/tighten

Commits

Commits on Apr 28, 2026