Verification run

Run 1296

promachina/iut-leanbranch e21-924-checkpoint-atlastriggered via github_push

failedcommit d7a9b4b14f3btoolchain lean-v4-30-0prover leantook 2h 4m · finished 2w ago

lake build failed with exit code none (process did not exit cleanly) (toolchain lean-v4-30-0, command: elan run leanprover/lean4:v4.30.0 -- bash -c export PATH="$(dirname "$(elan which lean)"):$PATH"; exec "$@" apx-lean-phase lake build)

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow

build verificationrun #1296
failed
started 9/1/2026, 12:01:27 AMfinished 9/1/2026, 2:05:37 AM
1. verifyfailed
  attempts 1input 622efef713b9output b09ef9d64628
  lake build failed with exit code none (process did not exit cleanly) (toolchain lean-v4-30-0, command: elan run leanprover/lean4:v4.30.0 -- bash -c export PATH="$(dirname "$(elan which lean)"):$PATH"; exec "$@" apx-lean-phase lake build)
  Attempts
  1. failed#19/1/2026, 12:01:27 AM9/1/2026, 2:05:37 AM
2. persist resultsucceeded
  attempts 1input 622efef713b9output b09ef9d64628
  Attempts
  1. succeeded#19/1/2026, 2:05:37 AM9/1/2026, 2:05:37 AM
3. complete jobsucceeded
  attempts 1input 622efef713b9output b09ef9d64628
  Attempts
  1. succeeded#19/1/2026, 2:05:37 AM9/1/2026, 2:05:37 AM

Github checks

Check run id: 99687058896
Name: Apodeixis Verification
Status: completed
Conclusion: failure

Open on Github Open details URL