Verification run

Run 349

promachina/iut-lean branch master triggered via github_backfill

succeeded commit 5d7fe098c63e toolchain lean-v4-30-0 prover lean took 2h 46m · 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 37s	4w ago
`extract-batch-00004`	succeeded	none	1	5m 28s	4w ago
`extract-batch-00003`	succeeded	none	1	31m 50s	4w ago
`extract-batch-00002`	succeeded	none	1	6m 1s	4w ago
`extract-batch-00001`	succeeded	none	1	7m 8s	4w ago
`extract-batch-00000`	succeeded	none	1	1h 40m	4w ago

Workflow timeline

1 workflow

build verification run #349
succeeded

started 6/16/2026, 12:29:58 AM finished 6/16/2026, 3:16:40 AM
1. verify succeeded
  
  attempts 1 input c8d2c29d4278output 2c0cb527dde5
  Attempts
  1. succeeded #1 6/16/2026, 12:29:58 AM 6/16/2026, 3:16:40 AM
2. persist result succeeded
  
  attempts 1 input c8d2c29d4278output 2c0cb527dde5
  Attempts
  1. succeeded #1 6/16/2026, 3:16:40 AM 6/16/2026, 3:16:40 AM
3. complete job succeeded
  
  attempts 1 input c8d2c29d4278output 2c0cb527dde5
  Attempts
  1. succeeded #1 6/16/2026, 3:16:40 AM 6/16/2026, 3:16:40 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.