Verification run

Run 7

Gogopex/pfrbranch mastertriggered via manual

failedcommit manualtoolchain lean-v4-28-0-rc1prover leantook 8m 50s · 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 #7
failed
started 6/1/2026, 5:49:03 PMfinished 6/1/2026, 5:57:52 PM
1. verifyfailed
  attempts 1input 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#16/1/2026, 5:49:03 PM6/1/2026, 5:57:52 PM
2. persist resultsucceeded
  attempts 1input 643355408844output 4b2880a78d6e
  Attempts
  1. succeeded#16/1/2026, 5:57:52 PM6/1/2026, 5:57:52 PM
3. complete jobsucceeded
  attempts 1input 643355408844output 4b2880a78d6e
  Attempts
  1. succeeded#16/1/2026, 5:57:52 PM6/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