Verification run

Run 1207

promachina/iut-leanbranch mastertriggered via manual

succeededcommit 5c48653111f4toolchain lean-v4-30-0prover leantook 2h 47m · finished 6w ago

Semantic extraction

Modules done-

Remaining0

Pathfinal merge json write

Timeout left-

latest phase final_merge_json_write

Time	Runner	Phase	Duration	Modules	Declarations	Dependencies	Payload
6w ago	`exact_batch`	`final_merge_json_write`	33m 12s	95	74,497	1,201,869	128285.2 MiB
6w ago	`exact_batch`	`module_cache_lookup`	54m 48s	95	-	-	-

1 workflow

build verificationrun #1207
succeeded
started 7/31/2026, 11:58:06 AMfinished 7/31/2026, 2:45:32 PM
1. verifysucceeded
  attempts 1input e76fb28a5a3coutput ad0421eade69
  Attempts
  1. succeeded#17/31/2026, 11:58:06 AM7/31/2026, 2:45:32 PM
2. persist resultsucceeded
  attempts 1input e76fb28a5a3coutput ad0421eade69
  Attempts
  1. succeeded#17/31/2026, 2:45:32 PM7/31/2026, 2:45:32 PM
3. complete jobsucceeded
  attempts 1input e76fb28a5a3coutput ad0421eade69
  Attempts
  1. succeeded#17/31/2026, 2:45:32 PM7/31/2026, 2:45:32 PM