Repository navigation

Run autoharness jobs only in the merge queue - #738

Open

Tianshu-Huang wants to merge 4 commits into

model-checking:mainfrom

Tianshu-Huang:ci-autoharness-merge-queue

Open

Run autoharness jobs only in the merge queue#738
Tianshu-Huang wants to merge 4 commits into
model-checking:mainfrom
Tianshu-Huang:ci-autoharness-merge-queue

Commits on Oct 23, 2026
- Run autoharness CI jobs only in merge queue or on dispatch (#730)
  Tianshu-Huang
  committed
  a4712ff
- Gate autoharness steps, not the job, so the required check stays green
  Tianshu-Huang
  committed
  d0c8aba
Commits on Oct 30, 2026
- Let maintainers request autoharness on a PR with a label
  feliperodri
  committed
  c939eed
- Explain why the label-only job-level skip is safe for the required check
  feliperodri
  committed
  e51a2bc