CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• feat(tg-1): let-binding + de Bruijn substitution metatheory (weakenin…

  failed:
  CodeQL Security Analysis#104:Commit9b3a32dpushedbyhyperpolymath
  main

  Jun 13, 202645s
  More actions for workflow run 104

• feat(tg-1): let-binding + de Bruijn substitution metatheory

  failed:
  CodeQL Security Analysis#103:Pull request#44openedbyhyperpolymath
  claude/hopeful-fermi-iXnba

  Jun 12, 202639s
  More actions for workflow run 103

• feat(echo): echoEq — structured loss for equality (residue = operand …

  failed:
  CodeQL Security Analysis#102:Commitbc2a0e6pushedbyhyperpolymath
  main

  Jun 12, 202646s
  More actions for workflow run 102

• feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized)

  failed:
  CodeQL Security Analysis#101:Pull request#43synchronizebyhyperpolymath
  claude/hopeful-fermi-iXnba

  Jun 12, 202627s
  More actions for workflow run 101

• feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized)

  failed:
  CodeQL Security Analysis#100:Pull request#43synchronizebyhyperpolymath
  claude/hopeful-fermi-iXnba

  Jun 12, 202633s
  More actions for workflow run 100

• feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized)

  failed:
  CodeQL Security Analysis#99:Pull request#43openedbyhyperpolymath
  claude/hopeful-fermi-iXnba

  Jun 12, 202630s
  More actions for workflow run 99

• chore(deps): bump the actions group across 1 directory with 3 updates…

  failed:
  CodeQL Security Analysis#98:Commit06abb05pushedbyhyperpolymath
  main

  Jun 11, 202628s
  More actions for workflow run 98

• chore(deps): bump the actions group across 1 directory with 3 updates

  failed:
  CodeQL Security Analysis#97:Pull request#42openedbydependabot[bot]Bot
  dependabot/github_actions/actions-3ab72fafd9

  Jun 11, 202626s
  More actions for workflow run 97

• security: standardize secret scanning on TruffleHog (#41)

  failed:
  CodeQL Security Analysis#96:Commitc04c345pushedbyhyperpolymath
  main

  Jun 11, 20263m 52s
  More actions for workflow run 96

• security: standardize secret scanning on TruffleHog

  failed:
  CodeQL Security Analysis#95:Pull request#41synchronizebyhyperpolymath
  claude/safedom-res-stale-sweep

  Jun 11, 20261m 48s
  More actions for workflow run 95

• docs(proof): Tangle proof narrative + assumption registry; refresh PROOF-NEEDS

  failed:
  CodeQL Security Analysis#94:Pull request#25openedbyhyperpolymath
  docs/proof-narrative-and-assumption-registry

  Jun 1, 202635s
  More actions for workflow run 94

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#93:Scheduled
  main

  Jun 1, 202635s
  More actions for workflow run 93

• docs: record tech-debt audit findings (2026-05-26) (#23)

  failed:
  CodeQL Security Analysis#92:Commit1f091d4pushedbyhyperpolymath
  main

  May 29, 202638s
  More actions for workflow run 92

• chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re…

  cancelled:
  CodeQL Security Analysis#91:Commit383e58epushedbyhyperpolymath
  main

  May 29, 202612s
  More actions for workflow run 91

• chore(ci): replace secret-scanner.yml with reusable wrapper (#21)

  cancelled:
  CodeQL Security Analysis#90:Commite2c6d51pushedbyhyperpolymath
  main

  May 29, 202610s
  More actions for workflow run 90

• chore(ci): replace scorecard.yml with reusable wrapper (#20)

  cancelled:
  CodeQL Security Analysis#89:Commit93f8be9pushedbyhyperpolymath
  main

  May 29, 202641s
  More actions for workflow run 89

• chore(ci): replace mirror.yml with reusable wrapper (#19)

  cancelled:
  CodeQL Security Analysis#88:Commitf366c22pushedbyhyperpolymath
  main

  May 29, 20265s
  More actions for workflow run 88

• Chore/hypatia scan reusable wrapper (#18)

  cancelled:
  CodeQL Security Analysis#87:Commit5a80531pushedbyhyperpolymath
  main

  May 29, 20269s
  More actions for workflow run 87

• docs: record tech-debt audit findings (2026-05-26)

  failed:
  CodeQL Security Analysis#86:Pull request#23openedbyhyperpolymath
  claude/tech-debt-2026-05-26

  May 29, 202639s
  More actions for workflow run 86

• chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re…

  failed:
  CodeQL Security Analysis#85:Pull request#22openedbyhyperpolymath
  claude/safedom-res-stale-sweep

  May 29, 202648s
  More actions for workflow run 85

• chore(ci): replace secret-scanner.yml with reusable wrapper

  failed:
  CodeQL Security Analysis#84:Pull request#21openedbyhyperpolymath
  chore/secret-scanner-reusable-wrapper

  May 29, 202635s
  More actions for workflow run 84

• chore(ci): replace scorecard.yml with reusable wrapper

  failed:
  CodeQL Security Analysis#83:Pull request#20openedbyhyperpolymath
  chore/scorecard-reusable-wrapper

  May 29, 202639s
  More actions for workflow run 83

• chore(ci): replace mirror.yml with reusable wrapper

  failed:
  CodeQL Security Analysis#82:Pull request#19openedbyhyperpolymath
  chore/mirror-reusable-wrapper

  May 29, 202632s
  More actions for workflow run 82

• Chore/hypatia scan reusable wrapper

  failed:
  CodeQL Security Analysis#81:Pull request#18openedbyhyperpolymath
  chore/hypatia-scan-reusable-wrapper

  May 29, 202644s
  More actions for workflow run 81

• chore(ci): replace scorecard.yml with reusable wrapper (#17)

  failed:
  CodeQL Security Analysis#80:Commiteb4ee29pushedbyhyperpolymath
  main

  May 27, 20267h 32m 15s
  More actions for workflow run 80