Verification run

Run 341

promachina/iut-leanbranch mastertriggered via manual

succeededcommit 71ef5dc5e76dtoolchain lean-v4-30-0prover leantook 2h 46m · finished 14w ago

Open project

Semantic extraction

Modules done1 / 1

Remaining0

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	14w ago

Workflow timeline

1 workflow

build verificationrun #341
succeeded
started 6/11/2026, 12:26:32 AMfinished 6/11/2026, 3:13:18 AM
1. verifysucceeded
  attempts 1input 54d2b723a7e1output dddf016d69d3
  Attempts
  1. succeeded#16/11/2026, 12:26:32 AM6/11/2026, 3:13:18 AM
2. persist resultsucceeded
  attempts 1input 54d2b723a7e1output dddf016d69d3
  Attempts
  1. succeeded#16/11/2026, 3:13:18 AM6/11/2026, 3:13:18 AM
3. complete jobsucceeded
  attempts 1input 54d2b723a7e1output dddf016d69d3
  Attempts
  1. succeeded#16/11/2026, 3:13:18 AM6/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.