Verification run

Run 6

Gogopex/pfrbranch mastertriggered via manual

failedcommit manualtoolchain lean-v4-28-0-rc1prover leantook 6m 3s · finished 15w ago

./.apodeixis/tools/lean-semantic-extract.sh failed with exit code 1 (toolchain lean-v4-28-0-rc1, command: elan run leanprover/lean4:v4.28.0-rc1 -- ./.apodeixis/tools/lean-semantic-extract.sh)

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow

build verificationrun #6
failed
started 6/1/2026, 3:21:23 PMfinished 6/1/2026, 5:29:40 PM
1. verifyfailed
  attempts 2input 0b7432f74d30output 2f25386571f2
  ./.apodeixis/tools/lean-semantic-extract.sh failed with exit code 1 (toolchain lean-v4-28-0-rc1, command: elan run leanprover/lean4:v4.28.0-rc1 -- ./.apodeixis/tools/lean-semantic-extract.sh)
  Attempts
  1. failed#16/1/2026, 3:21:23 PM6/1/2026, 5:23:37 PM
    recovered: worker lease expired
  2. failed#26/1/2026, 5:23:38 PM6/1/2026, 5:29:40 PM
2. persist resultsucceeded
  attempts 1input 0b7432f74d30output 2f25386571f2
  Attempts
  1. succeeded#16/1/2026, 5:29:40 PM6/1/2026, 5:29:40 PM
3. complete jobsucceeded
  attempts 1input 0b7432f74d30output 2f25386571f2
  Attempts
  1. succeeded#16/1/2026, 5:29:40 PM6/1/2026, 5:29:40 PM

Github checks

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

Open on Github Open details URL