Repository navigation

ci: retire zizmor in favour of jactionlint - #72

Merged

robinbowes merged 1 commit into

mainfrom

ci/retire-zizmor

Oct 17, 2026

Merged

ci: retire zizmor in favour of jactionlint#72
robinbowes merged 1 commit into
mainfrom
ci/retire-zizmor

Commits on Oct 17, 2026
- ci: retire zizmor in favour of jactionlint
  
  robinbowes
  and
  claude
  committed
  7095f1c