CodeQL

Workflow runs for CodeQL

• chore(deps): bump github/codeql-action from 4.38.2 to 4.38.3 in the a…

  completed successfully:
  CodeQL#99:Commite3855a5pushedbyhyperpolymath
  main

  Oct 14, 202637s
  More actions for workflow run 99

• CodeQL

  failed at startup:
  CodeQL#98:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-90fd21f639

  Oct 14, 2026Startup failure
  More actions for workflow run 98

• ci(estate-audit): pin the caller to cicd-suite main (376898b) (#45)

  failed at startup:
  CodeQL#97:Commit2326581pushedbyhyperpolymath
  main

  Oct 14, 2026Startup failure
  More actions for workflow run 97

• CodeQL

  failed at startup:
  CodeQL#96:openedbyhyperpolymath
  claude/new-session-up7579

  Oct 14, 2026Startup failure
  More actions for workflow run 96

• ci(estate-audit): call cicd-suite's reusable audit instead of a froze…

  failed at startup:
  CodeQL#95:Commit37abf67pushedbyhyperpolymath
  main

  Oct 14, 2026Startup failure
  More actions for workflow run 95

• CodeQL

  failed at startup:
  CodeQL#94:synchronizebyhyperpolymath
  claude/new-session-up7579-estate

  Oct 14, 2026Startup failure
  More actions for workflow run 94

• ci: weekly track-latest for the Lean toolchain and sibling pins (#42)

  failed at startup:
  CodeQL#93:Commitb79c1d3pushedbyhyperpolymath
  main

  Oct 14, 2026Startup failure
  More actions for workflow run 93

• CodeQL

  failed at startup:
  CodeQL#92:synchronizebyhyperpolymath
  claude/new-session-up7579-track

  Oct 14, 2026Startup failure
  More actions for workflow run 92

• CodeQL

  failed at startup:
  CodeQL#91:synchronizebyhyperpolymath
  claude/new-session-up7579

  Oct 14, 2026Startup failure
  More actions for workflow run 91

• CodeQL

  failed at startup:
  CodeQL#90:synchronizebyhyperpolymath
  claude/new-session-up7579-estate

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

• CodeQL

  failed at startup:
  CodeQL#89:synchronizebyhyperpolymath
  claude/new-session-up7579

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

• CodeQL

  failed at startup:
  CodeQL#88:synchronizebyhyperpolymath
  claude/new-session-up7579-track

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

• CodeQL

  failed at startup:
  CodeQL#87:openedbyhyperpolymath
  claude/new-session-up7579-estate

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

• CodeQL

  failed at startup:
  CodeQL#86:stackedbyhyperpolymath
  claude/new-session-up7579-track

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

• CodeQL

  failed at startup:
  CodeQL#85:synchronizebyhyperpolymath
  claude/new-session-up7579

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

• CodeQL

  failed at startup:
  CodeQL#84:openedbyhyperpolymath
  claude/new-session-up7579

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

• chore(toolchain): pin the patched Lean v4.34.1 (#39)

  failed at startup:
  CodeQL#83:Commite2f71fepushedbyhyperpolymath
  main

  Oct 14, 2026Startup failure
  More actions for workflow run 83

• CodeQL

  failed at startup:
  CodeQL#82:synchronizebyhyperpolymath
  claude/new-session-up7579

  Oct 14, 2026Startup failure
  More actions for workflow run 82

• Claude/new session up7579 cut (#40)

  failed at startup:
  CodeQL#81:Commit9d3af1apushedbyhyperpolymath
  main

  Oct 14, 2026Startup failure
  More actions for workflow run 81

• CodeQL

  failed at startup:
  CodeQL#80:synchronizebyhyperpolymath
  claude/new-session-up7579-cut

  Oct 14, 2026Startup failure
  More actions for workflow run 80

• CodeQL

  failed at startup:
  CodeQL#79:synchronizebyhyperpolymath
  claude/new-session-up7579

  Oct 14, 2026Startup failure
  More actions for workflow run 79

• docs(rung-3): K-CUT correspondence table, falsifier F6, ROADMAP by ga…

  failed at startup:
  CodeQL#78:Commitf591220pushedbyhyperpolymath
  main

  Oct 14, 2026Startup failure
  More actions for workflow run 78

• CodeQL

  failed at startup:
  CodeQL#77:openedbyhyperpolymath
  claude/new-session-up7579

  Oct 14, 2026Startup failure
  More actions for workflow run 77

• CodeQL

  failed at startup:
  CodeQL#76:openedbyhyperpolymath
  claude/new-session-up7579-docs

  Oct 14, 2026Startup failure
  More actions for workflow run 76

• feat(rung-3): a region crossing is a cut; K-4 laws over TropicalNat (…

  failed at startup:
  CodeQL#75:Commit3ca64b4pushedbyhyperpolymath
  main

  Oct 14, 2026Startup failure
  More actions for workflow run 75