Verification run

Run 342

promachina/iut-lean branch master triggered via manual

failed commit 12abe93e1eb0 toolchain lean-v4-30-0 prover lean took 9m 7s · finished 5w ago

runtime execution failed: semantic_module_order_invalid: modules must be sorted deterministically

Open project

Semantic extraction

Modules done -

Remaining 0

Path -

Timeout left -

Module attempts

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

Workflow timeline

1 workflow

build verification run #342
failed

started 6/11/2026, 10:16:25 AM finished 6/11/2026, 1:46:03 PM
1. verify failed
  
  attempts 3 input e7ee4437f392
  
  runtime execution failed: semantic_module_order_invalid: modules must be sorted deterministically
  Attempts
  1. failed #1 6/11/2026, 10:16:25 AM 6/11/2026, 11:11:16 AM
    
    recovered: worker restarted with job still claimed
  2. failed #2 6/11/2026, 11:11:17 AM 6/11/2026, 1:36:55 PM
    
    recovered: worker restarted with job still claimed
  3. failed #3 6/11/2026, 1:36:56 PM 6/11/2026, 1:46:03 PM
2. persist result succeeded
  
  attempts 1 input e7ee4437f392
  Attempts
  1. succeeded #1 6/11/2026, 1:46:03 PM 6/11/2026, 1:46:03 PM
3. complete job succeeded
  
  attempts 1 input e7ee4437f392
  Attempts
  1. succeeded #1 6/11/2026, 1:46:03 PM 6/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.