CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• fix: replace deno -A with specific permission flags in rescript-deno-…

  completed successfully:
  CodeQL Security Analysis#254:Commit221aa8cpushedbyhyperpolymath
  main

  Mar 30, 20264m 30s
  More actions for workflow run 254

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

  completed successfully:
  CodeQL Security Analysis#253:Commita10bed3pushedbyhyperpolymath
  main

  Mar 30, 20266m 10s
  More actions for workflow run 253

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#252:Scheduled
  main

  Mar 30, 20262m 54s
  More actions for workflow run 252

• feat: migrate coq-jr server from TypeScript to ReScript

  completed successfully:
  CodeQL Security Analysis#251:Commitaf1a53epushedbyhyperpolymath
  main

  Mar 29, 20262m 11s
  More actions for workflow run 251

• feat: migrate rsr_checker from Python to Julia

  completed successfully:
  CodeQL Security Analysis#250:Commit34ec14dpushedbyhyperpolymath
  main

  Mar 29, 20269m 33s
  More actions for workflow run 250

• chore: replace template placeholders in ROADMAP.adoc files

  completed successfully:
  CodeQL Security Analysis#249:Commit93e63f1pushedbyhyperpolymath
  main

  Mar 29, 20265m 59s
  More actions for workflow run 249

• feat: add Stapeln container configuration

  completed successfully:
  CodeQL Security Analysis#248:Commitfaf1226pushedbyhyperpolymath
  main

  Mar 29, 20267m 3s
  More actions for workflow run 248

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

  completed successfully:
  CodeQL Security Analysis#247:Commitb6dbac6pushedbyhyperpolymath
  main

  Mar 28, 202610m 42s
  More actions for workflow run 247

• feat: deploy UX Manifesto infrastructure

  completed successfully:
  CodeQL Security Analysis#246:Commitd4de3eapushedbyhyperpolymath
  main

  Mar 28, 20261h 14m 4s
  More actions for workflow run 246

• chore(deps): bump the npm_and_yarn group across 1 directory with 4 updates

  completed successfully:
  CodeQL Security Analysis#245:Pull request#52openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/rescript-ecosystem/packages/core/compiler-source/npm_and_yarn-f8e55374a1

  Mar 28, 20261m 16s
  More actions for workflow run 245

• fix(recon-silly-ation): update submodule — add stub-crypto feature flag

  completed successfully:
  CodeQL Security Analysis#244:Commit195942fpushedbyhyperpolymath
  main

  Mar 28, 20262m 5s
  More actions for workflow run 244

• fix(recon-silly-ation): update submodule — stub crypto compile guard

  completed successfully:
  CodeQL Security Analysis#243:Commitc40c1a1pushedbyhyperpolymath
  main

  Mar 28, 20262m 59s
  More actions for workflow run 243

• chore(deps): bump the npm_and_yarn group across 2 directories with 3 …

  completed successfully:
  CodeQL Security Analysis#242:Commit9fa7e3bpushedbyhyperpolymath
  main

  Mar 27, 20262m 2s
  More actions for workflow run 242

• chore(deps): bump the npm_and_yarn group across 2 directories with 3 updates

  completed successfully:
  CodeQL Security Analysis#241:Pull request#51openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/rescript-ecosystem/packages/core/compiler-source/npm_and_yarn-cef4d0a98c

  Mar 26, 20261m 25s
  More actions for workflow run 241

• feat: add V-triple connectors for 10 services + Groove dodeca-API bridge

  completed successfully:
  CodeQL Security Analysis#240:Commit72ee7b8pushedbyhyperpolymath
  main

  Mar 24, 20261h 12m 4s
  More actions for workflow run 240

• chore: update satellite submodule pointers after path purge

  completed successfully:
  CodeQL Security Analysis#239:Commit6e2ba3epushedbyhyperpolymath
  main

  Mar 24, 20261h 28m 38s
  More actions for workflow run 239

• chore: add agent_instructions methodology layer

  completed successfully:
  CodeQL Security Analysis#238:Commitcc77ffdpushedbyhyperpolymath
  main

  Mar 24, 202629m 2s
  More actions for workflow run 238

• feat(ux): add onboarding, contractiles, and UX infrastructure

  completed successfully:
  CodeQL Security Analysis#237:Commit8f2548cpushedbyhyperpolymath
  main

  Mar 24, 20268m 11s
  More actions for workflow run 237

• chore(deps-dev): bump the npm_and_yarn group across 2 directories with 1 update

  completed successfully:
  CodeQL Security Analysis#236:Pull request#50openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/rescript-ecosystem/packages/core/compiler-source/npm_and_yarn-9ac589e813

  Mar 23, 20261m 17s
  More actions for workflow run 236

• chore(rescript-tauri): add deprecation notice — use @gossamer/api

  completed successfully:
  CodeQL Security Analysis#235:Commit9b7a158pushedbyhyperpolymath
  main

  Mar 23, 20267m 53s
  More actions for workflow run 235

• chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, …

  completed successfully:
  CodeQL Security Analysis#234:Commit6861386pushedbyhyperpolymath
  main

  Mar 23, 202616m 33s
  More actions for workflow run 234

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#233:Scheduled
  main

  Mar 23, 20262m 52s
  More actions for workflow run 233

• feat: Gossamer migration — RuntimeBridge, gossamer.conf.json, Tauri→G…

  completed successfully:
  CodeQL Security Analysis#232:Commit3dd0f06pushedbyhyperpolymath
  main

  Mar 22, 20264m 55s
  More actions for workflow run 232

• docs: add EXPLAINME.adoc — prove-it file backing README claims

  completed successfully:
  CodeQL Security Analysis#231:Commita1ee988pushedbyhyperpolymath
  main

  Mar 22, 202614m 1s
  More actions for workflow run 231

• chore: update satellite submodule pointers

  completed successfully:
  CodeQL Security Analysis#230:Commit5c39a1dpushedbyhyperpolymath
  main

  Mar 22, 202621m 54s
  More actions for workflow run 230