Verification run

Run 349

promachina/iut-leanbranch mastertriggered via github_backfill

succeededcommit 5d7fe098c63etoolchain lean-v4-30-0prover leantook 2h 46m · finished 13w ago

Open project

Semantic extraction

Modules done6 / 6

Remaining0

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	13w ago
`extract-batch-00004`	succeeded	none	1	5m 28s	13w ago
`extract-batch-00003`	succeeded	none	1	31m 50s	13w ago
`extract-batch-00002`	succeeded	none	1	6m 1s	13w ago
`extract-batch-00001`	succeeded	none	1	7m 8s	13w ago
`extract-batch-00000`	succeeded	none	1	1h 40m	13w ago

Workflow timeline

1 workflow

build verificationrun #349
succeeded
started 6/16/2026, 12:29:58 AMfinished 6/16/2026, 3:16:40 AM
1. verifysucceeded
  attempts 1input c8d2c29d4278output 2c0cb527dde5
  Attempts
  1. succeeded#16/16/2026, 12:29:58 AM6/16/2026, 3:16:40 AM
2. persist resultsucceeded
  attempts 1input c8d2c29d4278output 2c0cb527dde5
  Attempts
  1. succeeded#16/16/2026, 3:16:40 AM6/16/2026, 3:16:40 AM
3. complete jobsucceeded
  attempts 1input c8d2c29d4278output 2c0cb527dde5
  Attempts
  1. succeeded#16/16/2026, 3:16:40 AM6/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.