CI: Consistently use github.token instead of secrets.GITHUB_TOKEN#3189

Merged

seisman merged 1 commit intomainfrom ci/token

Apr 22, 2024

+4-4

Commits on Apr 22, 2024

CI: Consistently use github.token instead of secrets.GITHUB_TOKEN
seisman
committed