Skip to content

ci: add workflow_dispatch so releases can be triggered manually - #274

Merged
hrnn merged 1 commit into
mainfrom
ci/manual-release-trigger
Aug 14, 2026
Merged

ci: add workflow_dispatch so releases can be triggered manually#274
hrnn merged 1 commit into
mainfrom
ci/manual-release-trigger

Conversation

@hrnn

@hrnn hrnn commented Aug 14, 2026

Copy link
Copy Markdown
Member

Add a workflow_dispatch trigger and extend the Release job's if: to accept it.

The squash-merge of #273 inherited the PR commit's body, which mentioned
GitHub's skip-ci marker literally. GitHub suppresses all push-triggered
workflows when the head commit message contains that marker, so the merge
produced no CI run and the release never started.

Add a workflow_dispatch trigger and allow the Release job to run on it,
so a release can be started from the Actions UI whenever a push event is
skipped or missed. (This commit message deliberately avoids the literal
marker.)

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds manual release triggering while preserving existing safeguards.

Changes:

  • Enables workflow_dispatch.
  • Allows Release jobs for manual runs on main.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@hrnn
hrnn merged commit e0d45f1 into main Aug 14, 2026
14 checks passed
@hrnn
hrnn deleted the ci/manual-release-trigger branch August 14, 2026 19:30
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