Repository navigation

ci: pass the PR base branch to the Cora review action - #1386

Merged

ajianaz merged 1 commit into

ci/cora-review-base-branch

Oct 8, 2026

Merged

ci: pass the PR base branch to the Cora review action#1386
ajianaz merged 1 commit into
developfrom
ci/cora-review-base-branch

Commits on Oct 8, 2026
- ci: pass the PR base branch to the Cora review action
  
  ajianaz
  and
  claude
  committed
  d2651e4