CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#340:Scheduled
  main

  Nov 1, 202638s
  More actions for workflow run 340

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.1 in the github-actions group

  completed successfully:
  CodeQL Security Analysis#339:Pull request#145openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-8997878c64

  Oct 31, 202639s
  More actions for workflow run 339

• README: plain claims in the body, one status line (#144)

  completed successfully:
  CodeQL Security Analysis#338:Commitc76df12pushedbyhyperpolymath
  main

  Oct 12, 202652s
  More actions for workflow run 338

• README: plain claims in the body, one status line

  completed successfully:
  CodeQL Security Analysis#337:Pull request#144synchronizebyhyperpolymath
  claims-2026-10-12

  Oct 12, 202648s
  More actions for workflow run 337

• README: plain claims in the body, one status line

  completed successfully:
  CodeQL Security Analysis#336:Pull request#144openedbyhyperpolymath
  claims-2026-10-12

  Oct 12, 202644s
  More actions for workflow run 336

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  completed successfully:
  CodeQL Security Analysis#335:Commitd687d45pushedbyhyperpolymath
  main

  Oct 10, 202638s
  More actions for workflow run 335

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.0 in the github-actions group

  completed successfully:
  CodeQL Security Analysis#334:Pull request#143openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-1afb5b2680

  Oct 10, 202644s
  More actions for workflow run 334

• ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs) (#…

  completed successfully:
  CodeQL Security Analysis#333:Commit3444c21pushedbyhyperpolymath
  main

  Oct 8, 202647s
  More actions for workflow run 333

• ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs)

  completed successfully:
  CodeQL Security Analysis#332:Pull request#142openedbyhyperpolymath
  chore/drop-duplicate-semgrep

  Oct 8, 20261m 1s
  More actions for workflow run 332

• fix(ffi): obli-pkg database obeys the Idris install/remove laws; pin …

  completed successfully:
  CodeQL Security Analysis#331:Commitc130b30pushedbyhyperpolymath
  main

  Oct 2, 20267m 21s
  More actions for workflow run 331

• fix(ffi): obli-pkg database obeys the Idris install/remove laws; pin liboqs build (P0-6)

  completed successfully:
  CodeQL Security Analysis#330:Pull request#141openedbyhyperpolymath
  fix/obli-pkg-laws

  Oct 2, 20264m 43s
  More actions for workflow run 330

• docs: add Signed commits section to CONTRIBUTING (#140)

  completed successfully:
  CodeQL Security Analysis#329:Commit6f4c118pushedbyhyperpolymath
  main

  Oct 1, 202641s
  More actions for workflow run 329

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  completed successfully:
  CodeQL Security Analysis#328:Commit20f2ccbpushedbyhyperpolymath
  main

  Oct 1, 20261m 3s
  More actions for workflow run 328

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  CodeQL Security Analysis#327:Pull request#140openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202641s
  More actions for workflow run 327

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652)

  completed successfully:
  CodeQL Security Analysis#326:Pull request#139synchronizebyhyperpolymath
  chore/citation-orcid

  Oct 1, 202657s
  More actions for workflow run 326

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652)

  completed successfully:
  CodeQL Security Analysis#325:Pull request#139synchronizebyhyperpolymath
  chore/citation-orcid

  Oct 1, 20268m 46s
  More actions for workflow run 325

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652)

  completed successfully:
  CodeQL Security Analysis#324:Pull request#139synchronizebyhyperpolymath
  chore/citation-orcid

  Oct 1, 202658s
  More actions for workflow run 324

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#323:Scheduled
  main

  Oct 1, 20262m 50s
  More actions for workflow run 323

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652)

  completed successfully:
  CodeQL Security Analysis#322:Pull request#139openedbyhyperpolymath
  chore/citation-orcid

  Oct 1, 20267m 6s
  More actions for workflow run 322

• fix(ffi): Zig keygen early-return, canonical-payload newline terminat…

  completed successfully:
  CodeQL Security Analysis#321:Commit3fcf80dpushedbyhyperpolymath
  main

  Sep 27, 202653s
  More actions for workflow run 321

• fix(ffi): Zig keygen early-return, canonical-payload newline termination, real tamper vector; regenerated repo-map

  completed successfully:
  CodeQL Security Analysis#320:Pull request#138synchronizebyarena-ai-coding-agent[bot]Bot
  arena/01a0df1a-oblibeny

  Sep 27, 202644s
  More actions for workflow run 320

• fix(ffi): Zig keygen early-return, canonical-payload newline termination, real tamper vector; regenerated repo-map

  completed successfully:
  CodeQL Security Analysis#319:Pull request#138openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0df1a-oblibeny

  Sep 27, 202637s
  More actions for workflow run 319

• fix(ci): unblock all five startup-failed workflows; hold codeql-actio…

  completed successfully:
  CodeQL Security Analysis#318:Commit3b1654fpushedbyhyperpolymath
  main

  Sep 27, 202646s
  More actions for workflow run 318

• fix(ci): unblock all five startup-failed workflows; hold codeql-action at v4.38.0

  completed successfully:
  CodeQL Security Analysis#317:Pull request#137synchronizebyarena-ai-coding-agent[bot]Bot
  arena/01a0df1a-oblibeny

  Sep 27, 202654s
  More actions for workflow run 317

• fix(ci): unblock all five startup-failed workflows; hold codeql-action at v4.38.0

  completed successfully:
  CodeQL Security Analysis#316:Pull request#137synchronizebyarena-ai-coding-agent[bot]Bot
  arena/01a0df1a-oblibeny

  Sep 27, 202648s
  More actions for workflow run 316