Chivier Humber c48d3cb394 ci: deploy docs with an SSH deploy key instead of a PAT ...

The DEPLOY_TOKEN personal access token expired, so pushing to
openmlsys.github.io failed with "Invalid username or token". Use a
write-enabled deploy key scoped to that repository (DEPLOY_KEY secret),
which does not expire and is not tied to a personal account. GitHub's
SSH host key is pinned instead of trusting ssh-keyscan.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-10-26 02:14:12 +00:00

..

main.yml

fix(v1-en): repair missing figures and section pages in English edition (#506)

2026-10-26 01:57:57 +00:00

update_docs.yml

ci: deploy docs with an SSH deploy key instead of a PAT

2026-10-26 02:14:12 +00:00