CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• ci: repair the checks that fail on main (workflow lint, K9 contracts, descriptile location)

  completed successfully:
  CodeQL Security Analysis#210:Pull request#90synchronizebyhyperpolymath
  claude/ci-base-failures

  Nov 10, 202643s
  More actions for workflow run 210

• ci: repair the checks that fail on main (workflow lint, K9 contracts, descriptile location)

  completed successfully:
  CodeQL Security Analysis#209:Pull request#90openedbyhyperpolymath
  claude/ci-base-failures

  Nov 10, 202647s
  More actions for workflow run 209

• proofs(agda): the wager experiment, stages 5 to 7 (T6, T7, the cross-check) and the final verdict

  completed successfully:
  CodeQL Security Analysis#208:Pull request#89openedbyhyperpolymath
  claude/systemet-wager-cubical-agda-nqsiff

  Nov 10, 202641s
  More actions for workflow run 208

• proofs(agda): the wager experiment, stages 2 to 4 (roles, the source …

  completed successfully:
  CodeQL Security Analysis#207:Commit04a8b6epushedbyhyperpolymath
  main

  Nov 10, 202648s
  More actions for workflow run 207

• proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation)

  completed successfully:
  CodeQL Security Analysis#206:Pull request#88synchronizebyhyperpolymath
  claude/systemet-wager-cubical-agda-nqsiff

  Nov 10, 202646s
  More actions for workflow run 206

• proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation)

  completed successfully:
  CodeQL Security Analysis#205:Pull request#88synchronizebyhyperpolymath
  claude/systemet-wager-cubical-agda-nqsiff

  Nov 10, 202648s
  More actions for workflow run 205

• proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation)

  completed successfully:
  CodeQL Security Analysis#204:Pull request#88synchronizebyhyperpolymath
  claude/systemet-wager-cubical-agda-nqsiff

  Nov 10, 202644s
  More actions for workflow run 204

• proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation)

  completed successfully:
  CodeQL Security Analysis#203:Pull request#88synchronizebyhyperpolymath
  claude/systemet-wager-cubical-agda-nqsiff

  Nov 10, 202646s
  More actions for workflow run 203

• proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation)

  completed successfully:
  CodeQL Security Analysis#202:Pull request#88synchronizebyhyperpolymath
  claude/systemet-wager-cubical-agda-nqsiff

  Nov 10, 202648s
  More actions for workflow run 202

• proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation)

  completed successfully:
  CodeQL Security Analysis#201:Pull request#88synchronizebyhyperpolymath
  claude/systemet-wager-cubical-agda-nqsiff

  Nov 10, 202640s
  More actions for workflow run 201

• proofs(agda): the wager experiment, stages 2 to 4 (roles, the source calculus, the translation)

  completed successfully:
  CodeQL Security Analysis#200:Pull request#88openedbyhyperpolymath
  claude/systemet-wager-cubical-agda-nqsiff

  Nov 10, 202642s
  More actions for workflow run 200

• proofs(agda): the wager experiment for coercions and roles (stages 0 …

  completed successfully:
  CodeQL Security Analysis#199:Commitc40d59epushedbyhyperpolymath
  main

  Nov 10, 202653s
  More actions for workflow run 199

• proofs(agda): the wager experiment for coercions and roles (stages 0 and 1)

  completed successfully:
  CodeQL Security Analysis#198:Pull request#87openedbyhyperpolymath
  claude/systemet-wager-cubical-agda-nqsiff

  Nov 10, 202648s
  More actions for workflow run 198

• chore(deps): bump the actions group with 2 updates (#86)

  completed successfully:
  CodeQL Security Analysis#197:Commit6570d46pushedbyhyperpolymath
  main

  Nov 6, 202656s
  More actions for workflow run 197

• chore(deps): bump the actions group with 2 updates

  completed successfully:
  CodeQL Security Analysis#196:Pull request#86openedbydependabot[bot]Bot
  dependabot/github_actions/actions-39f33f52d1

  Nov 6, 202645s
  More actions for workflow run 196

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#195:Scheduled
  main

  Nov 1, 202640s
  More actions for workflow run 195

• chore(deps): bump the actions group with 3 updates (#85)

  completed successfully:
  CodeQL Security Analysis#194:Commitbf6e68epushedbyhyperpolymath
  main

  Oct 31, 202647s
  More actions for workflow run 194

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

  completed successfully:
  CodeQL Security Analysis#193:Pull request#85openedbydependabot[bot]Bot
  dependabot/github_actions/actions-8df1a3bacc

  Oct 30, 202650s
  More actions for workflow run 193

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the a…

  completed successfully:
  CodeQL Security Analysis#192:Commit8545fe7pushedbyhyperpolymath
  main

  Oct 23, 20263m 16s
  More actions for workflow run 192

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the actions group

  completed successfully:
  CodeQL Security Analysis#191:Pull request#84openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 23, 20261m 17s
  More actions for workflow run 191

• chore(deps): bump the actions group with 3 updates (#83)

  completed successfully:
  CodeQL Security Analysis#190:Commit249dc48pushedbyhyperpolymath
  main

  Oct 16, 202644s
  More actions for workflow run 190

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

  completed successfully:
  CodeQL Security Analysis#189:Pull request#83openedbydependabot[bot]Bot
  dependabot/github_actions/actions-47d671327e

  Oct 16, 202640s
  More actions for workflow run 189

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

  failed at startup:
  CodeQL Security Analysis#188:Commit071f7afpushedbyhyperpolymath
  main

  Oct 9, 2026Startup failure
  More actions for workflow run 188

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#187:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1afb5b2680

  Oct 9, 2026Startup failure
  More actions for workflow run 187

• chore(deps): bump the actions group with 2 updates (#81)

  failed at startup:
  CodeQL Security Analysis#186:Commitc42f807pushedbyhyperpolymath
  main

  Oct 2, 2026Startup failure
  More actions for workflow run 186