Run 165

Package inputs

This verification run did not include a theorem package lock. Its inputs depend only on repository, toolchain, image, and command inputs.

Verifier log excerpt

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


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


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


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

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 a218576 feat(Gamma): norm of Gamma on the critical line and its decay (#1616)

Resolved source revision: a218576ecb060ac6a8074b50f57c1d219a96d228

Detected prover: lean
Detected requested toolchain: lean-v4-31-0
Materialized Lean semantic helper assets
Prepared source: revision=a218576ecb060ac6a8074b50f57c1d219a96d228 provenance={"branch":"main","checked_out_revision":"a218576ecb060ac6a8074b50f57c1d219a96d228","clone_url_hash":"a03bacf7666a5db5fc46a6063d1ab504468fa73929987cbd844a193cbaeaf0a3","credential_mode":"none","local_clone":false,"requested_commit_sha":"a218576ecb060ac6a8074b50f57c1d219a96d228","used_missing_commit_fetch":true}
Resolved toolchain: lean-v4-31-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 --depth 1 --branch main --single-branch https://github.com/AlexKontorovich/PrimeNumberTheoremAnd.git /var/lib/apodeixis/repos/job-1349-source

Cloning into '/var/lib/apodeixis/repos/job-1349-source'...

git checkout a218576ecb060ac6a8074b50f57c1d219a96d228

fatal: reference is not a tree: a218576ecb060ac6a8074b50f57c1d219a96d228

git fetch --depth 1 origin a218576ecb060ac6a8074b50f57c1d219a96d228

From https://github.com/AlexKontorovich/PrimeNumberTheoremAnd
 * branch            a218576ecb060ac6a8074b50f57c1d219a96d228 -> FETCH_HEAD

git checkout a218576ecb060ac6a8074b50f57c1d219a96d228 (after fetch)

Note: switching to 'a218576ecb060ac6a8074b50f57c1d219a96d228'.

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 a218576 feat(Gamma): norm of Gamma on the critical line and its decay (#1616)