Skip to content

ci: use zizmorcore/zizmor-action#139

Merged
richardapeters merged 6 commits intomainfrom
feature/linting-zizmor
Dec 18, 2025
Merged

ci: use zizmorcore/zizmor-action#139
richardapeters merged 6 commits intomainfrom
feature/linting-zizmor

Commits

Commits on Dec 18, 2025