Run 1238

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

Attempting anonymous GitHub clone before installation-auth fallback

$ git clone --depth 1 --branch master --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1646-source
exit_code=Some(128) duration_ms=233
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1646-source'...
error: unable to read askpass response from '/usr/bin/false'
fatal: could not read Username for 'https://github.com': terminal prompts disabled


$ git clone (github installation auth fallback)
exit_code=Some(0) duration_ms=4111
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1646-source'...


$ git checkout 837e9a626e0626869da0acdca1d9c2f74432fe6b
exit_code=Some(0) duration_ms=247
stderr:
Note: switching to '837e9a626e0626869da0acdca1d9c2f74432fe6b'.

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 837e9a6 Merge pull request #516 from promachina/codex/pack-k-canonical-raw-transition-no-go

Resolved source revision: 837e9a626e0626869da0acdca1d9c2f74432fe6b

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=837e9a626e0626869da0acdca1d9c2f74432fe6b provenance={"branch":"master","checked_out_revision":"837e9a626e0626869da0acdca1d9c2f74432fe6b","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"837e9a626e0626869da0acdca1d9c2f74432fe6b","used_missing_commit_fetch":false}
Resolved toolchain: lean-v4-30-0 (image: ghcr.io/gogopex/apodeixis/verifier-lean-base@sha256:0c31befa50c7261b818ef62dfad7f4ee9a1b0a0cf85cc8da68a532f5930ffe8d)
Skipped Lean workspace build cache for dependency-overlay execution
Lean dependency cache mode=oci_build_overlay source_clones=9 clone_duration_ms=9567 overlay_mounts=0 lower_files=0 lower_directories=0 lower_logical_bytes=0 snapshot_copy_bytes=0
Lean dependency overlay upper files=0 directories=0 logical_bytes=0 whiteouts=0 opaque_directories=0

Command runs

git clone --depth 1 --branch master --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1646-source

Cloning into '/var/lib/apodeixis/repos/job-1646-source'...
error: unable to read askpass response from '/usr/bin/false'
fatal: could not read Username for 'https://github.com': terminal prompts disabled

git clone (github installation auth fallback)

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

git checkout 837e9a626e0626869da0acdca1d9c2f74432fe6b

Note: switching to '837e9a626e0626869da0acdca1d9c2f74432fe6b'.

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 837e9a6 Merge pull request #516 from promachina/codex/pack-k-canonical-raw-transition-no-go