Verification run

Run 350

promachina/iut-leanbranch mastertriggered via github_backfill

succeededcommit f1665fa0a3ebtoolchain lean-v4-30-0prover leantook 2h 56m · 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 44s	13w ago
`extract-batch-00004`	succeeded	none	1	5m 48s	13w ago
`extract-batch-00003`	succeeded	none	1	31m 59s	13w ago
`extract-batch-00002`	succeeded	none	1	6m 25s	13w ago
`extract-batch-00001`	succeeded	none	1	7m 55s	13w ago
`extract-batch-00000`	succeeded	none	1	1h 45m	13w ago

Workflow timeline

1 workflow

build verificationrun #350
succeeded
started 6/16/2026, 6:03:37 AMfinished 6/16/2026, 8:59:58 AM
1. verifysucceeded
  attempts 1input 4d89e11a8b7coutput de6cea9c1ede
  Attempts
  1. succeeded#16/16/2026, 6:03:37 AM6/16/2026, 8:59:58 AM
2. persist resultsucceeded
  attempts 1input 4d89e11a8b7coutput de6cea9c1ede
  Attempts
  1. succeeded#16/16/2026, 8:59:58 AM6/16/2026, 8:59:58 AM
3. complete jobsucceeded
  attempts 1input 4d89e11a8b7coutput de6cea9c1ede
  Attempts
  1. succeeded#16/16/2026, 8:59:58 AM6/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.