Skip to content

ci: cap GITHUB_TOKEN to contents: read#3137

Open
arpitjain099 wants to merge 1 commit into
pingcap:mainfrom
arpitjain099:chore/declare-workflow-perms
Open

ci: cap GITHUB_TOKEN to contents: read#3137
arpitjain099 wants to merge 1 commit into
pingcap:mainfrom
arpitjain099:chore/declare-workflow-perms

Commits

Commits on May 25, 2026