Login

Verification run

Run 21

ImperialCollegeLondon/FLT branch main triggered via poller
failed commit c541ddcef7c9 prover lean took 5s · finished 4w ago

toolchain resolution failed: elan toolchain install failed for lean-v4-31-0-rc2 (leanprover/lean4:v4.31.0-rc2)

Open project

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

$ git clone --depth 1 --branch main --single-branch https://github.com/ImperialCollegeLondon/FLT.git /var/lib/apodeixis/repos/job-454-source
exit_code=Some(0) duration_ms=2940
stderr:
Cloning into '/var/lib/apodeixis/repos/job-454-source'...


$ git checkout c541ddcef7c95308113bed83c0c9460926bcb706
exit_code=Some(0) duration_ms=23
stderr:
Note: switching to 'c541ddcef7c95308113bed83c0c9460926bcb706'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by switching back to a branch.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -c with the switch command. Example:

  git switch -c <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at c541ddc chore: bump mathlib to 96fd0ff, fix breaking changes (#1022)

Resolved source revision: c541ddcef7c95308113bed83c0c9460926bcb706

Detected prover: lean
Detected requested toolchain: lean-v4-31-0-rc2
Materialized Lean semantic helper assets
Prepared source: revision=c541ddcef7c95308113bed83c0c9460926bcb706 provenance={"branch":"main","checked_out_revision":"c541ddcef7c95308113bed83c0c9460926bcb706","clone_url_hash":"26972c4fa07707e04a8d064eb61ea9ced3487bda0b6c5e8ecd8face933c5481e","credential_mode":"none","local_clone":false,"requested_commit_sha":"c541ddcef7c95308113bed83c0c9460926bcb706","used_missing_commit_fetch":false}

Command runs

git_clone exit 0 duration 3s · created 
git clone --depth 1 --branch main --single-branch https://github.com/ImperialCollegeLondon/FLT.git /var/lib/apodeixis/repos/job-454-source
Cloning into '/var/lib/apodeixis/repos/job-454-source'...
git_checkout exit 0 duration 23 ms · created 
git checkout c541ddcef7c95308113bed83c0c9460926bcb706
Note: switching to 'c541ddcef7c95308113bed83c0c9460926bcb706'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by switching back to a branch.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -c with the switch command. Example:

  git switch -c <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at c541ddc chore: bump mathlib to 96fd0ff, fix breaking changes (#1022)

Keyboard shortcuts