ci: use the github context for the WIP gate

Gitea treats github.* as an alias for gitea.*. The pattern was canaried
in this form, and pr-flow only detects a gate written this way.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
golem
2026-10-18 02:09:04 -06:00
co-authored by Claude Opus 5.5
parent cb7da3a538
commit 39a3ac74f4
+7 -5
View File
@@ -10,10 +10,12 @@ on:
- main - main
workflow_dispatch: workflow_dispatch:
# The gate and concurrency use the github.* context, Gitea's alias for gitea.*:
# it is the form the pattern was canaried with and the one pr-flow detects.
concurrency: concurrency:
group: ${{ gitea.workflow }}-${{ gitea.ref }} group: ${{ github.workflow }}-${{ github.ref }}
# Cancel superseded PR runs, never a push run: main's push uploads the package. # Cancel superseded PR runs, never a push run: main's push uploads the package.
cancel-in-progress: ${{ gitea.event_name == 'pull_request' }} cancel-in-progress: ${{ github.event_name == 'pull_request' }}
jobs: jobs:
validate: validate:
@@ -21,9 +23,9 @@ jobs:
# the title and nothing else, since a skipped job reports success on the # the title and nothing else, since a skipped job reports success on the
# required check (see ~/.claude/docs/gitea-ci-pattern.md). # required check (see ~/.claude/docs/gitea-ci-pattern.md).
if: >- if: >-
gitea.event_name != 'pull_request' || ( github.event_name != 'pull_request' || (
!startsWith(gitea.event.pull_request.title, 'WIP:') && !startsWith(github.event.pull_request.title, 'WIP:') &&
!startsWith(gitea.event.pull_request.title, '[WIP]') !startsWith(github.event.pull_request.title, '[WIP]')
) )
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps: