Verification run

Run 341

promachina/iut-lean branch master triggered via manual

succeeded commit 71ef5dc5e76d toolchain lean-v4-30-0 prover lean took 2h 46m · finished 5w ago

Open project

Semantic extraction

Modules done 1 / 1

Remaining 0

Path -

Timeout left -

1 succeeded attempts · 0 failed attempts

Module attempts

Batch	Status	Failure	Modules	Max duration	Latest finish
`extract-batch-00000`	succeeded	none	1	34m 26s	5w ago

Workflow timeline

1 workflow

build verification run #341
succeeded

started 6/11/2026, 12:26:32 AM finished 6/11/2026, 3:13:18 AM
1. verify succeeded
  
  attempts 1 input 54d2b723a7e1output dddf016d69d3
  Attempts
  1. succeeded #1 6/11/2026, 12:26:32 AM 6/11/2026, 3:13:18 AM
2. persist result succeeded
  
  attempts 1 input 54d2b723a7e1output dddf016d69d3
  Attempts
  1. succeeded #1 6/11/2026, 3:13:18 AM 6/11/2026, 3:13:18 AM
3. complete job succeeded
  
  attempts 1 input 54d2b723a7e1output dddf016d69d3
  Attempts
  1. succeeded #1 6/11/2026, 3:13:18 AM 6/11/2026, 3:13:18 AM

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.