Repository navigation

Push the API references with GITHUB_TOKEN, falling back to a pull request - #1453

Merged

martindevans merged 1 commit into

SciSharp:masterfrom

Laurianti:fix-api-references-token

Oct 2, 2026

Merged

Push the API references with GITHUB_TOKEN, falling back to a pull request#1453
martindevans merged 1 commit into
SciSharp:masterfrom
Laurianti:fix-api-references-token

Commits on Oct 1, 2026
- Pushed the regenerated API references with the default GITHUB_TOKEN instead of the REPO_TOKEN secret that GitHub now rejects, falling back to a pull request when master refuses the push
  Laurianti
  committed
  c153e04