Skip to content

chore: Fix GitHub Actions findings with zizmor#196

Merged
Ignacio Vergara Kausel (ivergara) merged 1 commit into
mainfrom
zizmor-fixes
May 12, 2026
Merged

chore: Fix GitHub Actions findings with zizmor#196
Ignacio Vergara Kausel (ivergara) merged 1 commit into
mainfrom
zizmor-fixes

Commits

Commits on May 9, 2026