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)

Package inputs

This verification run did not include a theorem package lock. Its inputs depend only on repository, toolchain, image, and command inputs.

Trust verification

Recomputes trust checks from the recorded attestations, manifest, and command history.

(verification not run)

Manifest

Loads the published files manifest and location metadata for this job.

(manifest not loaded)

Verifier log excerpt

Attempting anonymous GitHub clone before installation-auth fallback

$ git clone --depth 1 --branch e19-5-selected-completion-identification --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1685-source
exit_code=Some(128) duration_ms=359
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1685-source'...
error: unable to read askpass response from '/usr/bin/false'
fatal: could not read Username for 'https://github.com': terminal prompts disabled


$ git clone (github installation auth fallback)
exit_code=Some(128) duration_ms=505
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1685-source'...
warning: Could not find remote branch e19-5-selected-completion-identification to clone.
fatal: Remote branch e19-5-selected-completion-identification not found in upstream origin

Command runs

git_cloneexit 128duration 359 ms · created 8/20/2026, 12:51:15 AM

git clone --depth 1 --branch e19-5-selected-completion-identification --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1685-source

Cloning into '/var/lib/apodeixis/repos/job-1685-source'...
error: unable to read askpass response from '/usr/bin/false'
fatal: could not read Username for 'https://github.com': terminal prompts disabled

git_cloneexit 128duration 505 ms · created 8/20/2026, 12:51:15 AM

git clone (github installation auth fallback)

Cloning into '/var/lib/apodeixis/repos/job-1685-source'...
warning: Could not find remote branch e19-5-selected-completion-identification to clone.
fatal: Remote branch e19-5-selected-completion-identification not found in upstream origin