Repository navigation

Run credentialed CI for fork pull requests through copy-pr-bot - #142

Open

Vedaant-J wants to merge 3 commits into

mainfrom

vedaant/fork-pr-ci

Open

Run credentialed CI for fork pull requests through copy-pr-bot#142
Vedaant-J wants to merge 3 commits into
mainfrom
vedaant/fork-pr-ci

Commits on Oct 30, 2026
- Run credentialed CI on copy-pr-bot's pull-request branches
  
  Vedaant-J
  and
  claude
  committed
  2c6ddfc
- Skip credentialed jobs on fork pull_request runs
  
  Vedaant-J
  and
  claude
  committed
  62d278c
- Skip the coverage upload when no artifact name was set
  
  Vedaant-J
  and
  claude
  committed
  3411cb2