Skip to content

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

Tianshu-Huang wants to merge 4 commits into
model-checking:mainfrom
Tianshu-Huang:ci-autoharness-merge-queue

Explain why the label-only job-level skip is safe for the required check

e51a2bc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Test testable simd models
succeeded Oct 30, 2026 in 4m 40s