ci: enable zizmor pedantic persona#840

Merged

rjaegers merged 7 commits intomainfrom

feature/enable-zizmor-pedantic-mode

Jul 14, 2025

Commits on Jun 23, 2025

ci: enable zizmor pedantic persona
rjaegers
committed

Commits on Jun 26, 2025

Commits on Jun 27, 2025

chore: fix shellcheck issues
rjaegers
committed

Commits on Jul 4, 2025

style: consistent bash variables
rjaegers
authored

Commits on Jul 7, 2025

Merge branch 'main' into feature/enable-zizmor-pedantic-mode
rjaegers
authored

Commits on Jul 10, 2025

Merge branch 'main' into feature/enable-zizmor-pedantic-mode
rjaegers
authored