Repository navigation

Run autoharness jobs only in the merge queue - #738

Merged

feliperodri merged 5 commits into

model-checking:mainfrom

Tianshu-Huang:ci-autoharness-merge-queue

Nov 2, 2026

Merged

Run autoharness jobs only in the merge queue#738
feliperodri merged 5 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
Commits on Nov 2, 2026
- Trigger label-requested autoharness from a separate workflow
  feliperodri
  committed
  a6df330