Adopt Dagger CI for docs build (Phase 2) #157
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "dagger-phase2-docs"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
Migrates the docs build pipeline to Dagger (Phase 2 of the Dagger CI adoption plan).
date-modifiedfrontmatter on all 80 docs — Dagger's--src=.excludes.git, so Quartz can't use git history for page dates. Frontmatter dates work with or without git.docs-check-frontmattermise task + pre-commit hook — validates all docs havetitle,tags, anddate-modifiedbuild_changelog(towncrier in Python container) andbuild_docs(chains changelog → Quartz build in Node container, returns tarball)dagger call build-docs. Changelog step remains local on the runner since towncrier needs to modify the host working tree for the git commit.Design decisions
date-modifiedfrontmatter preserved even thoughbuild_changeloginstalls git — the git there is only for towncrier'sgit addcall, not for history. The local iteration story (dagger call build-docs --src=. --version=devwith uncommitted changes) depends on frontmatter dates.Local iteration
Deployment and Testing
dagger call build-docs --src=. --version=devproduces valid 1.1MB tarball (149 HTML pages)docs-check-frontmatter)workflow_dispatchrun after merge🤖 Generated with Claude Code