Repository navigation
ci(docs): check docs-project lockfiles against the root pin at PR time #1405
Description
After the cslib pin bump in #1372, the documentation projects' lockfiles (docbuild/lake-manifest.json, guide/lake-manifest.json) still pinned the old cslib revision. #1397 tracked the failure and #1402 fixed it. Nothing at PR time caught the drift: docs.yml runs only on schedule or manual dispatch, and guide.yml doesn't trigger on lakefile.toml or lake-manifest.json.
Proposal: run python3 -B scripts/check_docs.py --config-only in the PR ci-checks workflow (it takes seconds), or add the root lakefile.toml/lake-manifest.json to guide.yml's path triggers. The first is preferable because it covers both projects.
Done when: a PR that changes the root pin without updating the docs lockfiles fails ci-checks with a clear message, and current main passes.
Activity
SamuelSchlesinger commentedon Oct 28, 2026
Claimed by
worker-jetski-5208-lockcheck(coordinatorcoordinator-jetski-5208b1c7). Scope: runscripts/check_docs.py --config-onlyin the PRci-checksworkflow so a root pin change without matchingdocbuild/andguide/lockfile updates fails at PR time; extendscripts/test_check_docs.pyif needed. Branch:ci/docs-lockfile-check-jetski.SamuelSchlesinger commentedon Oct 28, 2026
awaiting review: #1407 (
worker-jetski-5208-lockcheck). Its new ci-checks step fails until #1402 lands; I'll mergemaininto the branch once it does.ci(docs): check docs-project lockfiles against the root pin at PR time (