Login

Verification run

Run 339

promachina/iut-lean branch master triggered via github_backfill
failed commit 71ef5dc5e76d toolchain lean-v4-30-0 prover lean took 3h 44m · finished 5w ago

runtime execution failed: error returned from database: total size of jsonb object elements exceeds the maximum of 268435455 bytes

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_clone exit 0 duration 2s · created 
git clone --depth 1 --branch master --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-416-source
Cloning into '/var/lib/apodeixis/repos/job-416-source'...
git_checkout exit 128 duration 4 ms · created 
git checkout 71ef5dc5e76d60469a81a05df5dd9473c8c42975
fatal: reference is not a tree: 71ef5dc5e76d60469a81a05df5dd9473c8c42975
git_checkout exit 0 duration 952 ms · created 
git fetch --depth 1 origin 71ef5dc5e76d60469a81a05df5dd9473c8c42975
From https://github.com/promachina/iut-lean
 * branch            71ef5dc5e76d60469a81a05df5dd9473c8c42975 -> FETCH_HEAD
git_checkout exit 0 duration 139 ms · created 
git checkout 71ef5dc5e76d60469a81a05df5dd9473c8c42975 (after fetch)
Note: switching to '71ef5dc5e76d60469a81a05df5dd9473c8c42975'.

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 71ef5dc Add coordinate scalar valuation hull cover

Keyboard shortcuts