Verification run

Run 21

ImperialCollegeLondon/FLT branch main triggered via poller

failed commit c541ddcef7c9 prover lean took 5s · finished 4w ago

toolchain resolution failed: elan toolchain install failed for lean-v4-31-0-rc2 (leanprover/lean4:v4.31.0-rc2)

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow

build verification run #21
failed

started 6/15/2026, 4:54:36 PM finished 6/15/2026, 4:54:41 PM
1. verify failed
  
  attempts 1
  
  toolchain resolution failed: elan toolchain install failed for lean-v4-31-0-rc2 (leanprover/lean4:v4.31.0-rc2)
  Attempts
  1. failed #1 6/15/2026, 4:54:36 PM 6/15/2026, 4:54:41 PM
2. persist result succeeded
  
  attempts 1
  Attempts
  1. succeeded #1 6/15/2026, 4:54:41 PM 6/15/2026, 4:54:41 PM
3. complete job succeeded
  
  attempts 1
  Attempts
  1. succeeded #1 6/15/2026, 4:54:41 PM 6/15/2026, 4:54:41 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.