Repository navigation

Delegate fork PR CI to CircleCI and first-pass review to CodeRabbit - #751

Merged

Finesssee merged 2 commits into

mainfrom

chore/coderabbit-fork-ci

Oct 3, 2026

Merged

Delegate fork PR CI to CircleCI and first-pass review to CodeRabbit#751
Finesssee merged 2 commits into
mainfrom
chore/coderabbit-fork-ci

Commits on Oct 3, 2026
- Delegate fork PR CI to CircleCI and first-pass review to CodeRabbit
  Finesssee
  committed
  61b4afa
- Tolerate an already-removed ci:run label in the revoke job
  Finesssee
  committed
  1a863e2