Verification run

Run 7

promachina/iut-lean branch master triggered via poller
failed commit 4ef29c2c9773 queued 6w ago

superseded: poller pile-up of stale intermediate commits; coalesced (HEAD has moved past these)

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

No workflow steps have been recorded for this job yet.

Github checks

No Github check run linked yet. This appears when the repository is Github-connected and the worker has published queue, running, and completion check updates.

Keyboard shortcuts