Verification run

Run 6

Gogopex/pfr branch master triggered via manual

failed commit manual toolchain lean-v4-28-0-rc1 prover lean took 6m 3s · finished 6w 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 verification run #6
failed

started 6/1/2026, 3:21:23 PM finished 6/1/2026, 5:29:40 PM
1. verify failed
  
  attempts 2 input 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 #1 6/1/2026, 3:21:23 PM 6/1/2026, 5:23:37 PM
    
    recovered: worker lease expired
  2. failed #2 6/1/2026, 5:23:38 PM 6/1/2026, 5:29:40 PM
2. persist result succeeded
  
  attempts 1 input 0b7432f74d30output 2f25386571f2
  Attempts
  1. succeeded #1 6/1/2026, 5:29:40 PM 6/1/2026, 5:29:40 PM
3. complete job succeeded
  
  attempts 1 input 0b7432f74d30output 2f25386571f2
  Attempts
  1. succeeded #1 6/1/2026, 5:29:40 PM 6/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