Merge pull request '[bug-yhg8dqypwmar] fix(check-naming): document edited trigger' (#9) from architect/bug-yhg8dqypwmar/document-edited-trigger into main
test / test (push) Successful in 8s
test / test (push) Successful in 8s
This commit was merged in pull request #9.
This commit is contained in:
@@ -23,6 +23,10 @@ Title: [bug-x7k2m9] Fix terminal resize loss (chore PRs: no [bug-id] prefix
|
||||
## Usage
|
||||
|
||||
```yaml
|
||||
on:
|
||||
pull_request:
|
||||
types: [opened, synchronize, reopened, edited]
|
||||
|
||||
jobs:
|
||||
naming:
|
||||
runs-on: fritzlab
|
||||
@@ -42,6 +46,10 @@ jobs:
|
||||
head-sha: ${{ github.event.pull_request.head.sha }}
|
||||
```
|
||||
|
||||
The explicit `edited` activity is part of the enforcement contract: changing
|
||||
the PR description must issue a new naming status for the same commit.
|
||||
Description-only events may skip unrelated validation jobs.
|
||||
|
||||
To wire a new repo warn-only first, add `continue-on-error: true` to the
|
||||
job — the step still fails, but the job cannot block the PR.
|
||||
|
||||
|
||||
Reference in New Issue
Block a user