Skip to content

Stop cancelling the docs publish and keep the build cache out of the site - #32

Merged
mikelangmayr merged 1 commit into
mainfrom
mike/docs-deploy-concurrency
Sep 23, 2026
Merged

mikelangmayr merged 1 commit into
mainfrom
mike/docs-deploy-concurrency

Conversation

@mikelangmayr

Copy link
Copy Markdown
Contributor
  • Only cancel in-progress documentation builds for pull requests, so a merge to main can no longer have its publish cancelled by the concurrency group. The first merge hit this and left the site unpublished.
  • Allow workflow_dispatch on main to publish, so the site can be restored without pushing an empty commit
  • Pass -d to sphinx-build so Sphinx's .doctrees cache is written outside the output directory instead of being published and growing the gh-pages branch on every merge

Verified by re-running the cancelled deploy, which published the site; root, subpages, generated tables, autodoc output and search all load, and the previews directory survived the root publish.

@github-actions

github-actions Bot commented Sep 23, 2026 •

Copy link
Copy Markdown
Contributor
PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-09-23 22:05 UTC

@mikelangmayr
mikelangmayr merged commit 27d4709 into main Sep 23, 2026
6 checks passed
@mikelangmayr
mikelangmayr deleted the mike/docs-deploy-concurrency branch September 23, 2026 22:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants