Skip to content

Release PR

Release PR #177

Workflow file for this run

# https://release-plz.ieni.dev/docs/github/quickstart#example-release-pr-and-release
name: Release PR
permissions:
pull-requests: write
contents: write
on:
workflow_dispatch:
workflow_run:
# Release PRs are created after the `Feature Powerset` workflow completes successfully. Currently,
# `Feature Powerset` runs once a week, so release PRs will also be created once a week.
workflows: [ Feature Powerset ]
types:
- completed
jobs:
release-pr:
name: Release PR
runs-on: ubuntu-latest
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
with:
fetch-depth: 0
- name: Install Rust toolchain
uses: dtolnay/rust-toolchain@stable
- name: Run release-plz
uses: MarcoIeni/[email protected]
with:
command: release-pr
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}
on-powerset-failure:
runs-on: ubuntu-latest
if: ${{ (github.event_name == 'workflow_run' && github.event.workflow_run.conclusion == 'failure') }}
steps:
- run: echo 'The `Feature Powerset` workflow failed, skipping release.'