Skip to content

Fix zizmor reports#177

Merged
dguido merged 1 commit intomasterfrom
fix-zizmor-reports
Jan 9, 2026
Merged

Fix zizmor reports#177
dguido merged 1 commit intomasterfrom
fix-zizmor-reports

Commits

Commits on Dec 1, 2025