CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  CodeQL Security Analysis#51:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202650s
  More actions for workflow run 51

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#50:synchronizebycoderabbitai[bot]Bot
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 50

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#49:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 49

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#48:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 48

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#47:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 47

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#46:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 46

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#45:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 45

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#44:Scheduled
  main

  Nov 1, 2026Startup failure
  More actions for workflow run 44

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#43:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-c8eb3872c1

  Nov 1, 2026Startup failure
  More actions for workflow run 43

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#42:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1326a0cada

  Oct 18, 2026Startup failure
  More actions for workflow run 42

• ci+ids: the spine's own repair — canon 2.1.2, standards pins, closed …

  failed at startup:
  CodeQL Security Analysis#41:Commit680d0cfpushedbyhyperpolymath
  main

  Oct 15, 2026Startup failure
  More actions for workflow run 41

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#40:synchronizebycoderabbitai[bot]Bot
  ci/governance-repair

  Oct 15, 2026Startup failure
  More actions for workflow run 40

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#39:synchronizebycoderabbitai[bot]Bot
  ci/governance-repair

  Oct 15, 2026Startup failure
  More actions for workflow run 39

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#38:openedbyhyperpolymath
  ci/governance-repair

  Oct 15, 2026Startup failure
  More actions for workflow run 38

• docs: an Applications-in-practice section (#12)

  failed at startup:
  CodeQL Security Analysis#37:Commit7033336pushedbyhyperpolymath
  main

  Oct 15, 2026Startup failure
  More actions for workflow run 37

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#36:synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 2026Startup failure
  More actions for workflow run 36

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#35:synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 2026Startup failure
  More actions for workflow run 35

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#34:openedbyhyperpolymath
  docs/applications-in-practice

  Oct 15, 2026Startup failure
  More actions for workflow run 34

• fix: use resource-algebra's order lemmas; pin resource-algebra 0b338c…

  failed at startup:
  CodeQL Security Analysis#33:Commit8f09c0bpushedbyhyperpolymath
  main

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

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#32:synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

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

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#31:openedbyhyperpolymath
  claude/new-session-ywdrth

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

• reclaim-2026-10-12 (#9)

  failed at startup:
  CodeQL Security Analysis#30:Commitaf95728pushedbyhyperpolymath
  main

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

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#29:synchronizebyhyperpolymath
  reclaim-2026-10-12

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

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#28:synchronizebyhyperpolymath
  reclaim-2026-10-12

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

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#27:synchronizebycoderabbitai[bot]Bot
  reclaim-2026-10-12

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