Verification run

Run 22

promachina/iut-leanbranch mastertriggered via poller

failedcommit b05be61cccfcqueued 15w ago

deferred: slow iut-lean runner-compile blocking pfr/FLT validation; will re-run after

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow

build verificationrun #22
failed
started 6/2/2026, 9:25:37 AMfinished 7/11/2026, 10:31:17 PM
1. verifyfailed
  attempts 8
  recovered: worker restarted with job still claimed
  Attempts
  1. failed#16/2/2026, 9:25:37 AM6/2/2026, 9:41:48 AM
  2. failed#26/2/2026, 10:03:37 AM6/2/2026, 10:05:40 AM
  3. failed#36/2/2026, 10:05:45 AM6/2/2026, 10:35:09 AM
  4. failed#46/2/2026, 10:35:14 AM6/2/2026, 10:40:10 AM
  5. failed#56/2/2026, 10:40:15 AM6/2/2026, 10:42:24 AM
  6. failed#66/2/2026, 11:30:08 AM6/2/2026, 11:53:16 AM
  7. failed#76/2/2026, 12:15:21 PM6/2/2026, 1:13:43 PM
  8. failed#86/2/2026, 2:11:50 PM6/2/2026, 3:04:36 PM

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.