Skip to content

chore: drop the stale zizmor --no-progress workaround - #747

Merged
ewjoachim merged 1 commit into
mainfrom
chore/drop-stale-zizmor-no-progress
Aug 27, 2026
Merged

chore: drop the stale zizmor --no-progress workaround#747
ewjoachim merged 1 commit into
mainfrom
chore/drop-stale-zizmor-no-progress

Commits

Commits on Aug 27, 2026