Repository navigation

Queue pull request CI runs per author and workflow - #1426

Open

dhruv8sh wants to merge 13 commits into

mainfrom

chore/ci-per-user-concurrency

Open

Queue pull request CI runs per author and workflow#1426
dhruv8sh wants to merge 13 commits into
mainfrom
chore/ci-per-user-concurrency

Commits on Oct 20, 2026
- Queue pull request CI runs per author and workflow
  dhruv8sh
  committed
  cf76307
- Key the CI queue on the PR author and add job timeouts
  dhruv8sh
  committed
  68e005b
- Merge branch 'main' into chore/ci-per-user-concurrency
  aram356
  authored
  3d448f9
Commits on Oct 22, 2026
- Merge branch 'main' into chore/ci-per-user-concurrency
  aram356
  authored
  a752e1d
Commits on Oct 27, 2026
- Merge remote-tracking branch 'origin/main' into pr-1426-review
  dhruv8sh
  committed
  b1ecfa6
- Cancel superseded PR runs and queue each job per author
  dhruv8sh
  committed
  7074ec1
- Guard the CI concurrency blocks and job timeouts
  dhruv8sh
  committed
  600f6a9
Commits on Oct 29, 2026
- Merge branch 'main' into chore/ci-per-user-concurrency
  aram356
  authored
  5068110
Commits on Oct 30, 2026
- Merge branch 'main' into chore/ci-per-user-concurrency
  aram356
  authored
  2206d5c
- Strengthen and document CI concurrency policy checks
  dhruv8sh
  committed
  32523f1
Commits on Nov 2, 2026
- Merge remote-tracking branch 'origin/main' into chore/ci-per-user-concurrency
  dhruv8sh
  committed
  03f24f9
- Run the CI concurrency guard in cargo fmt and tighten its checks
  dhruv8sh
  committed
  d79392a
Commits on Nov 5, 2026
- Merge branch 'main' into chore/ci-per-user-concurrency
  dhruv8sh
  authored
  7fc9395