ci: restore docs CI — GITHUB_TOKEN for version fetch + skip bot-blocked link (via testing-ci)#464

Merged

g-despot merged 3 commits into

mainfrom

Jul 6, 2026

Commits on Jul 6, 2026

fix(ci): skip tim-kleyersburg.de in link validator (bot-blocked 403, site is live)
g-despot
committed
fix(ci): use built-in GITHUB_TOKEN for version fetch instead of expired PAT
g-despot
committed
docs(query-agent): make search-mode filtering a required argument
g-despot
committed