Login

Verification run

Run 162

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via github_backfill
failed commit f55e85551ac1 toolchain lean-v4-30-0 prover lean took 13m 54s · finished 3d ago

runtime execution failed: successful stable shard extract-stable-superset-b reached the semantic RSS hard stop at 4131954688 / 4026531840 bytes; refusing to continue semantic extraction

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/AlexKontorovich/PrimeNumberTheoremAnd.git /var/lib/apodeixis/repos/job-1331-source
exit_code=Some(0) duration_ms=925
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1331-source'...


$ git checkout f55e85551ac10e96d98262a354cfcaac2825f2da
exit_code=Some(128) duration_ms=4
stderr:
fatal: reference is not a tree: f55e85551ac10e96d98262a354cfcaac2825f2da


$ git fetch --depth 1 origin f55e85551ac10e96d98262a354cfcaac2825f2da
exit_code=Some(0) duration_ms=921
stderr:
From https://github.com/AlexKontorovich/PrimeNumberTheoremAnd
 * branch            f55e85551ac10e96d98262a354cfcaac2825f2da -> FETCH_HEAD


$ git checkout f55e85551ac10e96d98262a354cfcaac2825f2da (after fetch)
exit_code=Some(0) duration_ms=77
stderr:
Note: switching to 'f55e85551ac10e96d98262a354cfcaac2825f2da'.

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 f55e855 fix(eSHP): prove certified first-gap bound (#1610)

Resolved source revision: f55e85551ac10e96d98262a354cfcaac2825f2da

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=f55e85551ac10e96d98262a354cfcaac2825f2da provenance={"branch":"main","checked_out_revision":"f55e85551ac10e96d98262a354cfcaac2825f2da","clone_url_hash":"a03bacf7666a5db5fc46a6063d1ab504468fa73929987cbd844a193cbaeaf0a3","credential_mode":"none","local_clone":false,"requested_commit_sha":"f55e85551ac10e96d98262a354cfcaac2825f2da","used_missing_commit_fetch":true}
Resolved toolchain: lean-v4-30-0 (image: ghcr.io/gogopex/apodeixis/verifier-lean-base:elan)
Restored Lean workspace build cache
Restored 13 Lean dependency package snapshot(s)
Prepared 13 shared Lean git mirror alias(es)

Command runs

git_clone exit 0 duration 925 ms · created 
git clone --depth 1 --branch main --single-branch https://github.com/AlexKontorovich/PrimeNumberTheoremAnd.git /var/lib/apodeixis/repos/job-1331-source
Cloning into '/var/lib/apodeixis/repos/job-1331-source'...
git_checkout exit 128 duration 4 ms · created 
git checkout f55e85551ac10e96d98262a354cfcaac2825f2da
fatal: reference is not a tree: f55e85551ac10e96d98262a354cfcaac2825f2da
git_checkout exit 0 duration 921 ms · created 
git fetch --depth 1 origin f55e85551ac10e96d98262a354cfcaac2825f2da
From https://github.com/AlexKontorovich/PrimeNumberTheoremAnd
 * branch            f55e85551ac10e96d98262a354cfcaac2825f2da -> FETCH_HEAD
git_checkout exit 0 duration 77 ms · created 
git checkout f55e85551ac10e96d98262a354cfcaac2825f2da (after fetch)
Note: switching to 'f55e85551ac10e96d98262a354cfcaac2825f2da'.

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 f55e855 fix(eSHP): prove certified first-gap bound (#1610)

Keyboard shortcuts