Verification run

Run 24

ImperialCollegeLondon/FLT branch main triggered via manual

succeeded commit c541ddcef7c9 toolchain lean-v4-31-0-rc2 prover lean took 6m 51s · finished 4w ago

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow

build verification run #24
succeeded

started 6/17/2026, 10:32:43 PM finished 6/18/2026, 1:54:53 PM
1. verify succeeded
  
  attempts 1 input 2bb7a42312cdoutput d5e9afe5a83f
  Attempts
  1. succeeded #1 6/17/2026, 10:32:43 PM 6/17/2026, 10:39:34 PM
2. persist result succeeded
  
  attempts 1 input 2bb7a42312cdoutput d5e9afe5a83f
  Attempts
  1. succeeded #1 6/17/2026, 10:39:34 PM 6/17/2026, 10:39:34 PM
3. complete job succeeded
  
  attempts 2
  Attempts
  1. failed #1 6/17/2026, 10:39:34 PM 6/18/2026, 1:54:53 PM
    
    superseded by retry
  2. succeeded #2 6/18/2026, 1:54:53 PM 6/18/2026, 1:54:53 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.