Skip to content

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

feliperodri merged 5 commits into
model-checking:mainfrom
Tianshu-Huang:ci-autoharness-merge-queue

Trigger label-requested autoharness from a separate workflow

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

Annotations

1 warning and 1 notice
Verify std library
succeeded Nov 2, 2026 in 37s