Skip to content

fix(ci): allow workflow_dispatch to trigger release#36

Merged
slashben merged 1 commit into
mainfrom
chore/release-v0.0.12
May 18, 2026
Merged

fix(ci): allow workflow_dispatch to trigger release#36
slashben merged 1 commit into
mainfrom
chore/release-v0.0.12

Conversation

@slashben

@slashben slashben commented May 18, 2026

Copy link
Copy Markdown
Member

Summary

  • The release job's if condition required a merged PR with a release label, making workflow_dispatch always skip
  • Add github.event_name == 'workflow_dispatch' so manual triggers work as a fallback
  • This also has a real file change so the pull_request_target event actually fires (empty commits from PR chore: trigger v0.0.12 release #35 were silently skipped by paths-ignore)

Test plan

  • Merge this PR with release label → v0.0.12 release should complete

Summary by CodeRabbit

  • Chores
    • Enhanced release workflow to enable manual triggering via workflow dispatch, providing additional flexibility alongside automatic releases on merged pull requests with the release label.

Review Change Stack

The release job's if-condition required a merged PR with a release label,
making workflow_dispatch always skip. Add event_name check so manual
triggers work as a fallback when the PR path fails.
Signed-off-by: Ben <ben@armosec.io>
Copilot AI review requested due to automatic review settings May 18, 2026 20:25
@slashben slashben added the release Trigger release on merge label May 18, 2026
@coderabbitai

coderabbitai Bot commented May 18, 2026

Copy link
Copy Markdown
ℹ️ Recent review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Free

Run ID: 3b30a6ea-d629-4e8a-a198-2a04781d12d8

📥 Commits

Reviewing files that changed from the base of the PR and between 9a22cf3 and 859c6c6.

📒 Files selected for processing (1)
  • .github/workflows/pr-merged.yaml

📝 Walkthrough

Walkthrough

The PR adds workflow_dispatch support to the release job condition in the CI workflow, enabling manual release triggering while preserving the existing automatic release on merged PRs with the release label.

Changes

Release Workflow Trigger

Layer / File(s) Summary
Release job dispatch trigger condition
.github/workflows/pr-merged.yaml
The release job's if: condition is expanded to include workflow_dispatch event, allowing manual release triggers via the GitHub Actions UI in addition to automatic releases on merged PRs with the release label.

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~3 minutes

Poem

🐰 A manual release trigger appears,
No more waiting for merged PR cheers,
With workflow_dispatch now in the fold,
Release what you wish, when bold—
Automation bends to the operator's will! ✨


Note

🎁 Summarized by CodeRabbit Free

Your organization is on the Free plan. CodeRabbit will generate a high-level summary and a walkthrough for each pull request. For a comprehensive line-by-line review, please upgrade your subscription to CodeRabbit Pro by visiting https://app.coderabbit.ai/login.

Comment @coderabbitai help to get the list of available commands and usage tips.

@slashben slashben merged commit 11aa70a into main May 18, 2026
6 checks passed
@slashben slashben deleted the chore/release-v0.0.12 branch May 18, 2026 20:26

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

Updates the release workflow gating so the release job can be run manually via workflow_dispatch in addition to the existing “merged PR with release label” path, allowing a manual fallback when automation is skipped.

Changes:

  • Extend the release job if condition to allow workflow_dispatch triggers.
  • Preserve the existing PR-merge + release label logic under a grouped condition.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment on lines +16 to +19
github.event_name == 'workflow_dispatch' ||
(github.event.pull_request.merged == true &&
contains(github.event.pull_request.labels.*.name, 'release') &&
github.repository_owner == 'armosec')
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Trigger release on merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants