Verification run

Run 342

promachina/iut-leanbranch mastertriggered via manual

failedcommit 12abe93e1eb0toolchain lean-v4-30-0prover leantook 9m 7s · finished 13w ago

runtime execution failed: semantic_module_order_invalid: modules must be sorted deterministically

Open project

Semantic extraction

Modules done-

Remaining0

Path-

Timeout left-

Module attempts

Batch	Status	Failure	Modules	Max duration	Latest finish
`extract-batch-00001`	failed	semantic extract failed	4	1m 54s	13w ago
`extract-batch-00000`	succeeded	none	4	16m 43s	13w ago

Workflow timeline

1 workflow

build verificationrun #342
failed
started 6/11/2026, 10:16:25 AMfinished 6/11/2026, 1:46:03 PM
1. verifyfailed
  attempts 3input e7ee4437f392
  runtime execution failed: semantic_module_order_invalid: modules must be sorted deterministically
  Attempts
  1. failed#16/11/2026, 10:16:25 AM6/11/2026, 11:11:16 AM
    recovered: worker restarted with job still claimed
  2. failed#26/11/2026, 11:11:17 AM6/11/2026, 1:36:55 PM
    recovered: worker restarted with job still claimed
  3. failed#36/11/2026, 1:36:56 PM6/11/2026, 1:46:03 PM
2. persist resultsucceeded
  attempts 1input e7ee4437f392
  Attempts
  1. succeeded#16/11/2026, 1:46:03 PM6/11/2026, 1:46:03 PM
3. complete jobsucceeded
  attempts 1input e7ee4437f392
  Attempts
  1. succeeded#16/11/2026, 1:46:03 PM6/11/2026, 1:46:03 PM

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.