CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#126:Scheduled
  main

  Apr 13, 20264m 49s
  More actions for workflow run 126

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  completed successfully:
  CodeQL Security Analysis#125:Commitc4410dfpushedbyhyperpolymath
  main

  Apr 11, 202630m 34s
  More actions for workflow run 125

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#124:Scheduled
  main

  Apr 6, 20264m 42s
  More actions for workflow run 124

• feat(crg): add crg-grade and crg-badge justfile recipes

  completed successfully:
  CodeQL Security Analysis#123:Commitca896capushedbyhyperpolymath
  main

  Apr 4, 20265h 31m 56s
  More actions for workflow run 123

• docs: update TEST-NEEDS.md with session 9 bench additions

  completed successfully:
  CodeQL Security Analysis#122:Commit2bcc39bpushedbyhyperpolymath
  main

  Apr 4, 20265h 8m 48s
  More actions for workflow run 122

• bench: add Nickel and CUE format-specific analyzer benchmarks

  completed successfully:
  CodeQL Security Analysis#121:Commit57d0686pushedbyhyperpolymath
  main

  Apr 4, 20265h 9m 12s
  More actions for workflow run 121

• chore: add eclexiaiser-validate job to dogfood gate

  completed successfully:
  CodeQL Security Analysis#120:Commit3a2f3adpushedbyhyperpolymath
  main

  Apr 4, 20264h 18m 6s
  More actions for workflow run 120

• chore: add eclexiaiser.toml energy-cost manifest

  completed successfully:
  CodeQL Security Analysis#119:Commit00f86f1pushedbyhyperpolymath
  main

  Apr 4, 20263h 7m 33s
  More actions for workflow run 119

• feat: add tlaiser state machine specs for config validation pipeline

  completed successfully:
  CodeQL Security Analysis#118:Commit774f8depushedbyhyperpolymath
  main

  Apr 4, 20262h 12m 15s
  More actions for workflow run 118

• feat: add k9iser.toml and generate K9 contracts

  completed successfully:
  CodeQL Security Analysis#117:Commit67b9b0fpushedbyhyperpolymath
  main

  Apr 4, 20262h 18m 3s
  More actions for workflow run 117

• ci: deploy dogfood-gate, update CI config, add CRG tests

  completed successfully:
  CodeQL Security Analysis#116:Commitb719b11pushedbyhyperpolymath
  main

  Apr 4, 20261h 44m 31s
  More actions for workflow run 116

• fix(ci): replace casket-pages with standard Jekyll Pages workflow

  completed successfully:
  CodeQL Security Analysis#115:Commit1a45c81pushedbyhyperpolymath
  main

  Apr 4, 20268m 54s
  More actions for workflow run 115

• Add casket pages workflow

  completed successfully:
  CodeQL Security Analysis#114:Commitf87d4c8pushedbyhyperpolymath
  main

  Apr 2, 202625m 51s
  More actions for workflow run 114

• Remove template-only ABI files that falsely implied formal verification

  completed successfully:
  CodeQL Security Analysis#113:Commit9a1c8fepushedbyhyperpolymath
  main

  Mar 30, 20268m 34s
  More actions for workflow run 113

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#112:Scheduled
  main

  Mar 30, 20265m 5s
  More actions for workflow run 112

• chore: replace template placeholder in ROADMAP.adoc with project name

  completed successfully:
  CodeQL Security Analysis#111:Commitcd8b894pushedbyhyperpolymath
  main

  Mar 29, 202610m 58s
  More actions for workflow run 111

• chore: deploy UX infrastructure (contractile.just, .well-known, manif…

  completed successfully:
  CodeQL Security Analysis#110:Commit685d3ebpushedbyhyperpolymath
  main

  Mar 28, 202614m 6s
  More actions for workflow run 110

• chore: gitignore .tool-versions (asdf)

  completed successfully:
  CodeQL Security Analysis#109:Commit3db2cc6pushedbyhyperpolymath
  main

  Mar 28, 20261h 54m 16s
  More actions for workflow run 109

• feat: add stapeln.toml layer-based container definition\n\nConverted …

  completed successfully:
  CodeQL Security Analysis#108:Commitfa7eef2pushedbyhyperpolymath
  main

  Mar 28, 20261h 32m 33s
  More actions for workflow run 108

• chore: add UX infrastructure (quickstart, doctor, setup)

  completed successfully:
  CodeQL Security Analysis#107:Commit84274b4pushedbyhyperpolymath
  main

  Mar 28, 202633m 5s
  More actions for workflow run 107

• feat: add V-lang API for configuration orchestration

  completed successfully:
  CodeQL Security Analysis#106:Commit1bf8d20pushedbyhyperpolymath
  main

  Mar 28, 20265m 35s
  More actions for workflow run 106

• feat: add Groove discovery manifest

  completed successfully:
  CodeQL Security Analysis#105:Commit203b452pushedbyhyperpolymath
  main

  Mar 28, 20264m 55s
  More actions for workflow run 105

• feat: add Groove protocol integration

  completed successfully:
  CodeQL Security Analysis#104:Commit467775bpushedbyhyperpolymath
  main

  Mar 28, 20264m 41s
  More actions for workflow run 104

• Merge branch 'chore/security-update-deps'

  completed successfully:
  CodeQL Security Analysis#103:Commite1dfebbpushedbyhyperpolymath
  main

  Mar 26, 20264m 48s
  More actions for workflow run 103

• chore: add Stapeln selur-compose.toml service definition

  completed successfully:
  CodeQL Security Analysis#102:Commit4f0a7d9pushedbyhyperpolymath
  main

  Mar 24, 20261h 7m 7s
  More actions for workflow run 102