Skip to content

CI: use GITHUB_TOKEN instead of the expired TOKEN secret - #2

Merged
deven1003 merged 1 commit into
mainfrom
ci/use-github-token
Oct 11, 2026
Merged

CI: use GITHUB_TOKEN instead of the expired TOKEN secret#2
deven1003 merged 1 commit into
mainfrom
ci/use-github-token

Commits

  1. Commits on Oct 11, 2026