Verification run

Run 18

ImperialCollegeLondon/FLT branch main triggered via poller

failed commit 5446b1b7e5e8 prover unknown queued 5w ago

deferred while IUT semantic extraction dogfood runs

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow

build verification run #18
failed

started 6/11/2026, 6:08:09 PM finished 7/11/2026, 10:31:17 PM
1. verify failed
  
  attempts 1
  
  deferred while IUT semantic extraction dogfood runs
  Attempts
  1. failed #1 6/11/2026, 6:08:09 PM 7/11/2026, 10:31:17 PM
2. complete job succeeded
  
  attempts 1
  Attempts
  1. succeeded #1 6/11/2026, 8:10:02 PM 6/11/2026, 8:10:02 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.