chore(ci): Change PUBLISH_PAGES_TOKEN to PUBLISH_DOCS_TOKEN

[rekmarks]

Replace PUBLISH_PAGES_TOKEN with PUBLISH_DOCS_TOKEN across workflow files. The former will expire while the latter will continue to work.

---

Note

Aligns GitHub Pages publishing with a single secret and explicitly pass it from the caller.

• In main.yml, replace secrets: inherit with explicit secrets and pass PUBLISH_DOCS_TOKEN to the publish-coverage job
• In publish-gh-pages.yml, declare required PUBLISH_DOCS_TOKEN and use it for personal_token instead of PUBLISH_PAGES_TOKEN

^{Written by Cursor Bugbot for commit e5d125d. This will update automatically on new commits. Configure here.}

[grypez]

ocappier

[github-actions]

Coverage Report

Status	Category	Percentage	Covered / Total
🔵	Lines	88.22% 🟰 ±0%	5702 / 6463
🔵	Statements	88.1% 🟰 ±0%	5794 / 6576
🔵	Functions	87.19% 🟰 ±0%	1484 / 1702
🔵	Branches	84.52% 🟰 ±0%	2059 / 2436

File Coverage

No changed files found.

Generated in workflow #3314 for commit e5d125d by the Vitest Coverage Report Action