Login

Verification run

Run 157

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via manual
succeeded commit 6739793850d3 toolchain lean-v4-31-0 prover lean took 10s · finished 3d ago
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-1245-source
exit_code=Some(0) duration_ms=914
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1245-source'...


$ git checkout 6739793850d3eaa031e3543ed72d7f026f8080f5
exit_code=Some(0) duration_ms=27
stderr:
Note: switching to '6739793850d3eaa031e3543ed72d7f026f8080f5'.

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 6739793 feat(FKS2): Corollary 23 — all 9 Table-6 rows (#722) (#1629)

Resolved source revision: 6739793850d3eaa031e3543ed72d7f026f8080f5

Detected prover: lean
Detected requested toolchain: lean-v4-31-0
Materialized Lean semantic helper assets
Prepared source: revision=6739793850d3eaa031e3543ed72d7f026f8080f5 provenance={"branch":"main","checked_out_revision":"6739793850d3eaa031e3543ed72d7f026f8080f5","clone_url_hash":"a03bacf7666a5db5fc46a6063d1ab504468fa73929987cbd844a193cbaeaf0a3","credential_mode":"none","local_clone":false,"requested_commit_sha":"6739793850d3eaa031e3543ed72d7f026f8080f5","used_missing_commit_fetch":false}
Resolved toolchain: lean-v4-31-0 (image: ghcr.io/gogopex/apodeixis/verifier-lean-base:elan)

Cache hit: reused artifacts from input_hash 79ed47808957d3d257a8b841a0e8dcb20493cc14dc7b5e7611798516d2d6ab66 (recipe 382)

Command runs

git_clone exit 0 duration 914 ms · created 
git clone --depth 1 --branch main --single-branch https://github.com/AlexKontorovich/PrimeNumberTheoremAnd.git /var/lib/apodeixis/repos/job-1245-source
Cloning into '/var/lib/apodeixis/repos/job-1245-source'...
git_checkout exit 0 duration 27 ms · created 
git checkout 6739793850d3eaa031e3543ed72d7f026f8080f5
Note: switching to '6739793850d3eaa031e3543ed72d7f026f8080f5'.

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 6739793 feat(FKS2): Corollary 23 — all 9 Table-6 rows (#722) (#1629)

Keyboard shortcuts