Login

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)

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow
  1. build verificationrun #1250
    failed
    started finished
    1. verifyfailed
      attempts 1

      git clone failed with exit code Some(128)

      Attempts
      1. failed#1
    2. persist resultsucceeded
      attempts 1
      Attempts
      1. succeeded#1
    3. complete jobsucceeded
      attempts 1
      Attempts
      1. succeeded#1

Github checks

Check run id
96056655567
Name
Apodeixis Verification
Status
completed
Conclusion
failure
Open on GithubOpen details URL

Keyboard shortcuts