ci(docs): redeploy the site when install.sh changes
All checks were successful
bootstrap / cfree-fixpoint (push) Successful in 23s
ci / build-and-test (push) Successful in 2m54s
commit-lint / conventional-commits (push) Successful in 2s
docs / build-and-deploy (push) Successful in 34s

docs-gen publishes install.sh with the site, but the workflow only ran for
docs/**, tools/docgen/** and tools/ludic-cli/**. v0.5.2 changed install.sh,
CHANGELOG.md and VERSION — so nothing matched, no deploy ran, and the fix that
release existed for was never served to anyone running the one-liner.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
Orkun ÇAKILKAYA 2026-09-05 22:51:59 +03:00
parent 4aaf27c669
commit f369fbd227
2 changed files with 10 additions and 0 deletions

View file

@ -0,0 +1,6 @@
bump: patch
type: ci
The docs deploy triggers on a change to `install.sh`. The site publishes the
installer, but the workflow's path filter did not mention it — so a release that
only fixed `install.sh` left the old script live at the URL the landing page
tells people to pipe into `sh`.