Lean 4 Build

Workflow runs for Lean 4 Build

• README: plain claims in the body, one status line (#37)

  failed at startup:
  Lean 4 Build#90:Commitbbed3a0pushedbyhyperpolymath
  main

  Oct 12, 2026Startup failure
  More actions for workflow run 90

• Lean 4 Build

  failed at startup:
  Lean 4 Build#89:synchronizebycoderabbitai[bot]Bot
  claims-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 89

• Lean 4 Build

  failed at startup:
  Lean 4 Build#88:openedbyhyperpolymath
  claims-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 88

• docs: add Signed commits section to CONTRIBUTING (#35)

  failed at startup:
  Lean 4 Build#87:Commit21fcd17pushedbyhyperpolymath
  main

  Oct 1, 2026Startup failure
  More actions for workflow run 87

• ci(secret-scan): rename caller job key secret-scan -> scan (D243) (#36)

  failed at startup:
  Lean 4 Build#86:Commit0b5dc5apushedbyhyperpolymath
  main

  Oct 1, 2026Startup failure
  More actions for workflow run 86

• Lean 4 Build

  failed at startup:
  Lean 4 Build#85:openedbyhyperpolymath
  ci/secret-scan-floor-key

  Oct 1, 2026Startup failure
  More actions for workflow run 85

• Lean 4 Build

  failed at startup:
  Lean 4 Build#84:openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 2026Startup failure
  More actions for workflow run 84

• Lean 4 Build

  failed at startup:
  Lean 4 Build#83:Manually runbyhyperpolymath
  main

  Sep 21, 20261s
  More actions for workflow run 83

• Lean 4 Build

  failed at startup:
  Lean 4 Build#82:Manually runbyhyperpolymath
  main

  Sep 21, 20261s
  More actions for workflow run 82

• Lean 4 Build

  failed at startup:
  Lean 4 Build#81:Manually runbyhyperpolymath
  main

  Sep 21, 20261s
  More actions for workflow run 81

• Lean 4 Build

  failed at startup:
  Lean 4 Build#80:Manually runbyhyperpolymath
  main

  Sep 21, 20261s
  More actions for workflow run 80

• Lean 4 Build

  failed at startup:
  Lean 4 Build#79:Manually runbyhyperpolymath
  main

  Sep 21, 20261s
  More actions for workflow run 79

• Lean 4 Build

  failed at startup:
  Lean 4 Build#78:Manually runbyhyperpolymath
  main

  Sep 21, 2026Startup failure
  More actions for workflow run 78

• fix(ci): repair the permissions block indentation (#34)

  failed at startup:
  Lean 4 Build#77:Commit35026capushedbyhyperpolymath
  main

  Sep 21, 2026Startup failure
  More actions for workflow run 77

• Lean 4 Build

  failed at startup:
  Lean 4 Build#76:openedbyhyperpolymath
  fix/ci-permissions-indentation

  Sep 21, 2026Startup failure
  More actions for workflow run 76

• fix(ci): grant callers the permissions their reusable workflows decla…

  failed at startup:
  Lean 4 Build#75:Commit927875cpushedbyhyperpolymath
  main

  Sep 21, 2026Startup failure
  More actions for workflow run 75

• fix(ci): grant callers the permissions their reusable workflows decla…

  completed successfully:
  Lean 4 Build#74:Commit38b360epushedbyhyperpolymath
  main

  Sep 21, 202659m 12s
  More actions for workflow run 74

• fix(ci): grant callers the permissions their reusable workflows declare

  completed successfully:
  Lean 4 Build#73:Pull request#33openedbyhyperpolymath
  fix/reusable-caller-permissions

  Sep 21, 202655m 24s
  More actions for workflow run 73

• Lean 4 Build

  failed at startup:
  Lean 4 Build#72:openedbyhyperpolymath
  fix/actions-lockfile

  Sep 21, 2026Startup failure
  More actions for workflow run 72

• ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

  completed successfully:
  Lean 4 Build#71:Commit6bd0b2bpushedbyhyperpolymath
  main

  Sep 20, 20261h 19m 25s
  More actions for workflow run 71

• ci(hypatia): standardise the wrapper caller id to the canonical hypatia

  completed successfully:
  Lean 4 Build#70:Pull request#31openedbyhyperpolymath
  fix/hypatia-caller-id

  Sep 20, 202620m 11s
  More actions for workflow run 70

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) …

  completed successfully:
  Lean 4 Build#69:Commit413d6b5pushedbyhyperpolymath
  main

  Sep 20, 202610m 44s
  More actions for workflow run 69

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock)

  completed successfully:
  Lean 4 Build#68:Pull request#30openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 20, 20265m 44s
  More actions for workflow run 68

• fix(ci): pin third-party actions to full commit SHAs (#29)

  failed at startup:
  Lean 4 Build#67:Commit34f5fbepushedbyhyperpolymath
  main

  Sep 20, 2026Startup failure
  More actions for workflow run 67

• Lean 4 Build

  failed at startup:
  Lean 4 Build#66:openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 19, 2026Startup failure
  More actions for workflow run 66