Login

Verification run

Run 1188

promachina/iut-leanbranch mastertriggered via poller
failedcommit 5c48653111f4toolchain lean-v4-30-0prover leantook 40m 29s · finished 7w ago

runtime execution failed: stable semantic shard extract-stable-superset-r6-b reached the OCI memory high-water mark for an indivisible target at weight 9; refusing unsafe exact fallback

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

(no log excerpt)

Command runs

git_cloneexit 0duration 3s · created 
git clone --depth 1 --branch master --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1497-source
Cloning into '/var/lib/apodeixis/repos/job-1497-source'...
git_checkoutexit 0duration 178 ms · created 
git checkout 5c48653111f44f835827f76e22f4eaf9cf9c1b8f
Note: switching to '5c48653111f44f835827f76e22f4eaf9cf9c1b8f'.

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 5c48653 Complete connected finite-etale basepoint converse

Keyboard shortcuts