Verification run

Run 1250

promachina/iut-leanbranch e19-5-selected-completion-identificationtriggered via github_push

failedcommit 10982a5ca809prover unknowntook 3s · finished 4w ago

git clone failed with exit code Some(128)

Indexed output

missingtheorems 0edges 0

No indexed output recorded for this job yet.

This section populates after theorem extraction persists an indexing run with counts and diagnostics.