mirror of
https://github.com/bitsocialnet/5chan.git
synced 2026-08-03 07:41:04 +02:00
Tommaso CasaburiandGitHub
aa5a985201
Adds the official react-doctor GitHub Action (millionco/react-doctor@v1), which posts inline review comments + a sticky summary for issues a PR INTRODUCES (diffed against the merge-base) -- more visible than the previous CLI '--annotations' markers. Removes the now-redundant react-doctor steps from ci.yml (the detect-changes/diff-annotations/skip steps and the push-time full scan) so react-doctor runs once per PR, not twice. It reads doctor.config.jsonc, so the React-Compiler rules we don't enforce stay suppressed.
29 lines
872 B
YAML
29 lines
872 B
YAML
# React Doctor PR review.
|
|
# Reports only issues this PR INTRODUCES (diffed against the merge-base) as inline
|
|
# review comments + a sticky summary. It reads doctor.config.jsonc, so the
|
|
# React-Compiler rules we don't enforce stay suppressed (see that file and
|
|
# docs/agent-playbooks/known-surprises.md). We do NOT chase the aggregate score.
|
|
name: React Doctor
|
|
|
|
on:
|
|
pull_request:
|
|
types: [opened, synchronize, reopened, ready_for_review]
|
|
|
|
permissions:
|
|
contents: read
|
|
pull-requests: write
|
|
issues: write
|
|
|
|
concurrency:
|
|
group: react-doctor-${{ github.event.pull_request.number || github.ref }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
react-doctor:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
fetch-depth: 0 # so React Doctor can diff against the merge-base for new-vs-existing
|
|
- uses: millionco/react-doctor@v1
|