Skip to content

Commit

Permalink
Allow running the release_pr workflow manually
Browse files Browse the repository at this point in the history
  • Loading branch information
spencewenski committed May 21, 2024
1 parent 39504b7 commit 3d2d566
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/release_pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ jobs:
release-pr:
name: Release PR
runs-on: ubuntu-latest
if: ${{ github.event.workflow_run.conclusion == 'success' }}
if: ${{ (github.event_name == 'workflow_run' && github.event.workflow_run.conclusion == 'success') || github.event_name == 'workflow_dispatch' }}
steps:
- name: Checkout repository
uses: actions/checkout@v4
Expand All @@ -36,6 +36,6 @@ jobs:
CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}
on-powerset-failure:
runs-on: ubuntu-latest
if: ${{ github.event.workflow_run.conclusion == 'failure' }}
if: ${{ (github.event_name == 'workflow_run' && github.event.workflow_run.conclusion == 'failure') }}
steps:
- run: echo 'The `Feature Powerset` workflow failed, skipping release.'

0 comments on commit 3d2d566

Please sign in to comment.