Skip to content

ci: build the docs site only when its sources change - #116

Merged
BoxBoxJason merged 1 commit into
mainfrom
claude/lucid-fermi-jpeb2t
Oct 31, 2026
Merged

BoxBoxJason merged 1 commit into
mainfrom
claude/lucid-fermi-jpeb2t

Conversation

@BoxBoxJason

@BoxBoxJason BoxBoxJason commented Oct 31, 2026 •

Copy link
Copy Markdown
Owner

Pull requests and pushes to main now run the Documentation workflow only when docs/** or the workflow file changes. Code-only changes no longer rebuild and redeploy the site. The weekly scheduled run (external link check) and manual runs are unchanged.

The generated pages (commands, settings, achievements catalogue) live under docs/, and npm run docs:check fails in the build workflow when they're stale. A change that alters them therefore also touches docs/ and still triggers the workflow.

Pull requests and pushes to main now run the docs workflow only when docs/ (or a file the site is built from) changes, instead of on every change. The weekly scheduled run and manual runs are unchanged.
@BoxBoxJason
BoxBoxJason merged commit 15d4a84 into main Oct 31, 2026
6 checks passed
@BoxBoxJason
BoxBoxJason deleted the claude/lucid-fermi-jpeb2t branch October 31, 2026 13:27
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.

1 participant