Login

Verification run

Run 7

ImperialCollegeLondon/FLT branch main triggered via poller
failed commit 070867aa3bf6 toolchain lean-v4-31-0-rc1 prover lean took 14m 51s · finished 6w ago

lean semantic extraction artifact validation failed: semantic_commit_sha_mismatch: semantic commit_sha c4d4c2e8323150cb677ad6d771dcad039079dfe2 does not match expected 070867aa3bf698a3f98b5678d6049338c485e750. remediation: inspect semantic_extract command output and ensure .apodeixis/semantic-extraction.json exists with valid schema and repository context

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow
  1. build verification run #7
    failed
    started finished
    1. verify failed
      attempts 1 input ee6c8ee3f729output d20910dea021

      lean semantic extraction artifact validation failed: semantic_commit_sha_mismatch: semantic commit_sha c4d4c2e8323150cb677ad6d771dcad039079dfe2 does not match expected 070867aa3bf698a3f98b5678d6049338c485e750. remediation: inspect semantic_extract command output and ensure .apodeixis/semantic-extraction.json exists with valid schema and repository context

      Attempts
      1. failed #1
    2. persist result succeeded
      attempts 1 input ee6c8ee3f729output d20910dea021
      Attempts
      1. succeeded #1
    3. complete job succeeded
      attempts 1 input ee6c8ee3f729output d20910dea021
      Attempts
      1. succeeded #1

Github checks

No Github check run linked yet. This appears when the repository is Github-connected and the worker has published queue, running, and completion check updates.

Keyboard shortcuts