Verification run

Run 350

promachina/iut-lean branch master triggered via github_backfill

succeeded commit f1665fa0a3eb toolchain lean-v4-30-0 prover lean took 2h 56m · finished 4w ago

Open project

Semantic extraction

Modules done 6 / 6

Remaining 0

Path -

Timeout left -

6 succeeded attempts · 0 failed attempts

Module attempts

Batch	Status	Failure	Modules	Max duration	Latest finish
`extract-batch-00005`	succeeded	none	1	5m 44s	4w ago
`extract-batch-00004`	succeeded	none	1	5m 48s	4w ago
`extract-batch-00003`	succeeded	none	1	31m 59s	4w ago
`extract-batch-00002`	succeeded	none	1	6m 25s	4w ago
`extract-batch-00001`	succeeded	none	1	7m 55s	4w ago
`extract-batch-00000`	succeeded	none	1	1h 45m	4w ago

Workflow timeline

1 workflow

build verification run #350
succeeded

started 6/16/2026, 6:03:37 AM finished 6/16/2026, 8:59:58 AM
1. verify succeeded
  
  attempts 1 input 4d89e11a8b7coutput de6cea9c1ede
  Attempts
  1. succeeded #1 6/16/2026, 6:03:37 AM 6/16/2026, 8:59:58 AM
2. persist result succeeded
  
  attempts 1 input 4d89e11a8b7coutput de6cea9c1ede
  Attempts
  1. succeeded #1 6/16/2026, 8:59:58 AM 6/16/2026, 8:59:58 AM
3. complete job succeeded
  
  attempts 1 input 4d89e11a8b7coutput de6cea9c1ede
  Attempts
  1. succeeded #1 6/16/2026, 8:59:58 AM 6/16/2026, 8:59:58 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.