CodeQL

Workflow runs for CodeQL

• CodeQL

  failed at startup:
  CodeQL#119:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 27, 2026Startup failure
  More actions for workflow run 119

• feat(tropical): rung 3d, import TropicalAdapterPath unparaphrased (#52)

  completed successfully:
  CodeQL#118:Commitcd03feepushedbyhyperpolymath
  main

  Oct 27, 202648s
  More actions for workflow run 118

• CodeQL

  failed at startup:
  CodeQL#117:synchronizebycoderabbitai[bot]Bot
  claude/new-session-up7579

  Oct 27, 2026Startup failure
  More actions for workflow run 117

• feat(tropical): rung 3d, import TropicalAdapterPath unparaphrased

  completed successfully:
  CodeQL#116:Pull request#52openedbyhyperpolymath
  claude/new-session-up7579

  Oct 27, 20263m 49s
  More actions for workflow run 116

• feat(provenance): rung 3e, path provenance as graded accumulation (#51)

  completed successfully:
  CodeQL#115:Commit0e79c31pushedbyhyperpolymath
  main

  Oct 27, 202647s
  More actions for workflow run 115

• feat(provenance): rung 3e, path provenance as graded accumulation

  completed successfully:
  CodeQL#114:Pull request#51openedbyhyperpolymath
  claude/new-session-up7579

  Oct 27, 202639s
  More actions for workflow run 114

• 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