Verification run

Run 22

promachina/iut-lean branch master triggered via poller

failed commit b05be61cccfc queued 6w 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 verification run #22
failed

started 6/2/2026, 9:25:37 AM finished 7/11/2026, 10:31:17 PM
1. verify failed
  
  attempts 8
  
  recovered: worker restarted with job still claimed
  Attempts
  1. failed #1 6/2/2026, 9:25:37 AM 6/2/2026, 9:41:48 AM
  2. failed #2 6/2/2026, 10:03:37 AM 6/2/2026, 10:05:40 AM
  3. failed #3 6/2/2026, 10:05:45 AM 6/2/2026, 10:35:09 AM
  4. failed #4 6/2/2026, 10:35:14 AM 6/2/2026, 10:40:10 AM
  5. failed #5 6/2/2026, 10:40:15 AM 6/2/2026, 10:42:24 AM
  6. failed #6 6/2/2026, 11:30:08 AM 6/2/2026, 11:53:16 AM
  7. failed #7 6/2/2026, 12:15:21 PM 6/2/2026, 1:13:43 PM
  8. failed #8 6/2/2026, 2:11:50 PM 6/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.