CodeQL

Workflow runs for CodeQL

• CodeQL

  completed successfully:
  CodeQL#113:Scheduled
  main

  Oct 25, 20261m 3s
  More actions for workflow run 113

• chore(deps): bump the actions group with 2 updates (#50)

  completed successfully:
  CodeQL#112:Commit8fb519fpushedbyhyperpolymath
  main

  Oct 20, 202642s
  More actions for workflow run 112

• CodeQL

  failed at startup:
  CodeQL#111:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-4b9e889e1d

  Oct 20, 2026Startup failure
  More actions for workflow run 111

• ci(estate-audit): pin the caller to cicd-suite b17ec1a (#49)

  completed successfully:
  CodeQL#110:Commitf8421afpushedbyhyperpolymath
  main

  Oct 20, 202643s
  More actions for workflow run 110

• ci(estate-audit): pin the caller to cicd-suite b17ec1a

  completed successfully:
  CodeQL#109:Pull request#49synchronizebyhyperpolymath
  claude/new-session-up7579

  Oct 20, 202655s
  More actions for workflow run 109

• chore(siblings): re-pin choreographic-types and resource-algebra to l…

  completed successfully:
  CodeQL#108:Commit20fe049pushedbyhyperpolymath
  main

  Oct 20, 20261m 3s
  More actions for workflow run 108

• ci(estate-audit): pin the caller to cicd-suite b17ec1a

  completed successfully:
  CodeQL#107:Pull request#49openedbyhyperpolymath
  claude/new-session-up7579

  Oct 19, 20268m 21s
  More actions for workflow run 107

• CodeQL

  failed at startup:
  CodeQL#106:synchronizebycoderabbitai[bot]Bot
  ci/track-siblings

  Oct 19, 2026Startup failure
  More actions for workflow run 106

• chore(siblings): re-pin choreographic-types and resource-algebra to latest

  completed successfully:
  CodeQL#105:Pull request#48synchronizebyhyperpolymath
  ci/track-siblings

  Oct 19, 202652s
  More actions for workflow run 105

• chore(toolchain): track Lean v4.35.0 (#47)

  completed successfully:
  CodeQL#104:Commitbeec3f2pushedbyhyperpolymath
  main

  Oct 19, 202649s
  More actions for workflow run 104

• chore(toolchain): track Lean v4.35.0

  completed successfully:
  CodeQL#103:Pull request#47synchronizebyhyperpolymath
  ci/track-lean

  Oct 19, 20261m 41s
  More actions for workflow run 103

• chore(siblings): re-pin choreographic-types and resource-algebra to latest

  completed successfully:
  CodeQL#102:Pull request#48openedbyhyperpolymath
  ci/track-siblings

  Oct 19, 202647s
  More actions for workflow run 102

• chore(toolchain): track Lean v4.35.0

  completed successfully:
  CodeQL#101:Pull request#47openedbyhyperpolymath
  ci/track-lean

  Oct 19, 202643s
  More actions for workflow run 101

• CodeQL

  completed successfully:
  CodeQL#100:Scheduled
  main

  Oct 18, 202643s
  More actions for workflow run 100

• 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