Skip to content

Server-side replays #2232

Server-side replays

Server-side replays #2232

---
# Requires PRs to have either 'release-notes' or 'no-release-notes' label
# This ensures release notes are considered for every PR before merging.
# The check is enforced via branch protection rules on develop.
name: Require Release Label
on:
pull_request:
types: [opened, labeled, unlabeled, synchronize]
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
cancel-in-progress: true
jobs:
check-label:
if: >-
github.repository == 'zenml-io/zenml' && (
github.event.action == 'opened' ||
github.event.action == 'synchronize' ||
github.event.label.name == 'release-notes' ||
github.event.label.name == 'no-release-notes'
)
runs-on: ubuntu-latest
steps:
- name: Check for release label
uses: mheap/github-action-required-labels@0ac283b4e65c1fb28ce6079dea5546ceca98ccbe # v5.5.2
with:
mode: exactly
count: 1
labels: release-notes, no-release-notes
message: |-
This PR is missing a release label. Please add one of:
- `release-notes` - if this PR has user-facing changes that should appear in the changelog
- `no-release-notes` - if this is an internal change (refactoring, tests, CI, etc.)