release_pr.yml

# 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/release-plz-action@v0.5
        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.'