diff --git a/.github/actionlint.yaml b/.github/actionlint.yaml index 082e8a9eb9..f189ad573d 100644 --- a/.github/actionlint.yaml +++ b/.github/actionlint.yaml @@ -5,3 +5,4 @@ self-hosted-runner: - vllm-runners # Not yet in actionlint's known-label set. - macos-26 + - ubuntu-slim diff --git a/.github/workflows/pr-title.yml b/.github/workflows/pr-title.yml index 96cb261485..fde50fac0e 100644 --- a/.github/workflows/pr-title.yml +++ b/.github/workflows/pr-title.yml @@ -2,14 +2,29 @@ name: PR title on: pull_request: - types: [opened, edited, reopened, synchronize] + types: [labeled, edited, reopened, ready_for_review, synchronize] + +concurrency: + group: pr-title-${{ github.event.pull_request.number }} + cancel-in-progress: true permissions: {} jobs: check-format: name: Check format - runs-on: ubuntu-latest + # Triggered when: + # - The `ready` label is added. + # - A ready PR's title is edited. + # - A ready PR is reopened. + # - A draft PR with the `ready` label is marked ready for review. + # - New commits are pushed to a ready PR (so its latest commit has a title check status). + if: >- + github.event.pull_request.draft == false && + contains(github.event.pull_request.labels.*.name, 'ready') && + (github.event.action != 'labeled' || github.event.label.name == 'ready') && + (github.event.action != 'edited' || github.event.changes.title != null) + runs-on: ubuntu-slim steps: - name: Validate title env: