Skip to content

Fix docs deployment for tag pushes and add workflow_dispatch#664

Draft
hughcars wants to merge 1 commit intomainfrom
hughcars/fix-0.16.0-docs
Draft

Fix docs deployment for tag pushes and add workflow_dispatch#664
hughcars wants to merge 1 commit intomainfrom
hughcars/fix-0.16.0-docs

Conversation

@hughcars
Copy link
Collaborator

@hughcars hughcars commented Mar 11, 2026

dorny/paths-filter skips tag pushes when the tagged commit already exists on main, silently skipping deploydocs(). This is why stable still points to v0.15.0.

Adds a decide step that bypasses the filter for tag pushes and workflow_dispatch. Once merged, run the workflow manually with deploy_tag: v0.16.0 to fix stable.

Fixes #662

The paths-filter skips tag pushes when the tagged commit already exists
on main, silently skipping the entire build-docs job. This prevented
v0.16.0 docs from deploying (stable still points to v0.15.0).

Add a decide step that bypasses the filter for tag pushes and manual
triggers. Add workflow_dispatch with a deploy_tag input so versioned
docs can be rebuilt without re-tagging.

Fixes #662
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.

The stable documentation is not pointing to the latest release

1 participant