Verification run

Run 7

Gogopex/pfr branch master triggered via manual

failed commit manual toolchain lean-v4-28-0-rc1 prover lean took 8m 50s · 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 #7
failed

started 6/1/2026, 5:49:03 PM finished 6/1/2026, 5:57:52 PM
1. verify failed
  
  attempts 1 input 643355408844output 4b2880a78d6e
  
  ./.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, 5:49:03 PM 6/1/2026, 5:57:52 PM
2. persist result succeeded
  
  attempts 1 input 643355408844output 4b2880a78d6e
  Attempts
  1. succeeded #1 6/1/2026, 5:57:52 PM 6/1/2026, 5:57:52 PM
3. complete job succeeded
  
  attempts 1 input 643355408844output 4b2880a78d6e
  Attempts
  1. succeeded #1 6/1/2026, 5:57:52 PM 6/1/2026, 5:57:52 PM

Github checks

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

Open on Github Open details URL