Skip to content

chore(ci): drop ref-pin exceptions in zizmor#765

Merged
woodruffw merged 1 commit intomainfrom
ww/no-more-ref-pins
Aug 17, 2025
Merged

chore(ci): drop ref-pin exceptions in zizmor#765
woodruffw merged 1 commit intomainfrom
ww/no-more-ref-pins

Commits

Commits on Aug 16, 2025