Run 166

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


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


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


$ git checkout 624935a81243f2f6c7f5c357effd1a49df8d1b81 (after fetch)
exit_code=Some(0) duration_ms=31
stderr:
Note: switching to '624935a81243f2f6c7f5c357effd1a49df8d1b81'.

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 624935a [StrongPNT]: zeta bounds near the Re(s)=3/2 line (#1514)

Resolved source revision: 624935a81243f2f6c7f5c357effd1a49df8d1b81

Detected prover: lean
Detected requested toolchain: lean-v4-31-0
Materialized Lean semantic helper assets
Prepared source: revision=624935a81243f2f6c7f5c357effd1a49df8d1b81 provenance={"branch":"main","checked_out_revision":"624935a81243f2f6c7f5c357effd1a49df8d1b81","clone_url_hash":"a03bacf7666a5db5fc46a6063d1ab504468fa73929987cbd844a193cbaeaf0a3","credential_mode":"none","local_clone":false,"requested_commit_sha":"624935a81243f2f6c7f5c357effd1a49df8d1b81","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-1359-source

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

git checkout 624935a81243f2f6c7f5c357effd1a49df8d1b81

fatal: reference is not a tree: 624935a81243f2f6c7f5c357effd1a49df8d1b81

git fetch --depth 1 origin 624935a81243f2f6c7f5c357effd1a49df8d1b81

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

git checkout 624935a81243f2f6c7f5c357effd1a49df8d1b81 (after fetch)

Note: switching to '624935a81243f2f6c7f5c357effd1a49df8d1b81'.

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 624935a [StrongPNT]: zeta bounds near the Re(s)=3/2 line (#1514)