Skip to content

ci: publish the docs site on release rather than on push to main - #249

Merged
Naruto merged 1 commit into
developfrom
ci/deploy-docs-on-release
Aug 1, 2026
Merged

ci: publish the docs site on release rather than on push to main#249
Naruto merged 1 commit into
developfrom
ci/deploy-docs-on-release

Conversation

@Naruto

@Naruto Naruto commented Aug 1, 2026

Copy link
Copy Markdown
Collaborator

Aligns this repository's docs deploy trigger with SSPlayerForUnity / SSPlayerForRenPy / SSConverterGUI, which already publish on release: published.

Why

Deploying on every merge to main puts the published site ahead of the release that the SpriteStudio Docs portal links to, so a reader can land on documentation for behavior that has not shipped. Tying the deploy to a published release keeps the site and the portal's "coming soon" gate in step.

What changes

 on:
-  push:
-    branches:
-      - main
-    paths:
-      - 'docs/**'
-      - 'mkdocs.yml'
-      - '.github/workflows/pages.yml'
+  release:
+    types: [published]
   pull_request:
     paths: ...
   workflow_dispatch:
  • workflow_dispatch is unchanged — a manual deploy still works at any time.
  • pull_request is unchanged, so every PR still builds with --strict and catches broken links / nav gaps. The deploy job is gated on github.event_name != 'pull_request', so PRs build without publishing.
  • The paths filter stays on pull_request only; release events do not take one.

No behavior change for readers today: GitHub Pages is not yet enabled on this repository.

Deploying on every merge to main puts the published site ahead of the release
the SpriteStudio Docs portal links to, so readers can reach documentation for
behavior that has not shipped. Tying the deploy to `release: published` keeps
the site and the portal's "coming soon" gate in step.

Matches SSPlayerForUnity / SSPlayerForRenPy / SSConverterGUI, which were
already release-triggered. `workflow_dispatch` still forces a deploy, and
pull requests keep building with --strict (the deploy job is gated on
`github.event_name != 'pull_request'`), so broken links and nav gaps are
still caught per PR.
@Naruto
Naruto merged commit aa0d0d5 into develop Aug 1, 2026
2 of 4 checks passed
@Naruto
Naruto deleted the ci/deploy-docs-on-release branch August 1, 2026 11:17
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