Skip to content

ci: pin workflow-level GITHUB_TOKEN permissions#172

Merged
jakebromberg merged 1 commit into
mainfrom
phase3-permissions
May 12, 2026
Merged

ci: pin workflow-level GITHUB_TOKEN permissions#172
jakebromberg merged 1 commit into
mainfrom
phase3-permissions

Commits

Commits on May 12, 2026