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

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

8908898
Select commit
Loading
Failed to load commit list.