CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• docs(clade): uuid follows the GitHub path; qualify the prefixed-name …

  completed successfully:
  CodeQL Security Analysis#413:Commit0473631pushedbyhyperpolymath
  main

  Nov 11, 202629m 51s
  More actions for workflow run 413

• docs(clade): uuid follows the GitHub path; qualify the prefixed-name case

  completed successfully:
  CodeQL Security Analysis#412:Pull request#142openedbyhyperpolymath
  docs/clade-uuid-github-path

  Nov 10, 202611m 28s
  More actions for workflow run 412

• docs(clade): uuid follows the forge path, it is not immortal (#141)

  completed successfully:
  CodeQL Security Analysis#411:Commiteb995b2pushedbyhyperpolymath
  main

  Nov 10, 20266m 49s
  More actions for workflow run 411

• docs(clade): uuid follows the forge path, it is not immortal

  completed successfully:
  CodeQL Security Analysis#410:Pull request#141openedbyhyperpolymath
  docs/clade-uuid-follows-forge-path

  Nov 10, 20263m 51s
  More actions for workflow run 410

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

  completed successfully:
  CodeQL Security Analysis#409:Commit5b10cb0pushedbyhyperpolymath
  main

  Nov 9, 202648s
  More actions for workflow run 409

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

  completed successfully:
  CodeQL Security Analysis#408:Pull request#140openedbydependabot[bot]Bot
  dependabot/github_actions/actions-4f755faa39

  Nov 9, 202619m 49s
  More actions for workflow run 408

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

  completed successfully:
  CodeQL Security Analysis#407:Commite08dd3apushedbyhyperpolymath
  main

  Nov 2, 202641s
  More actions for workflow run 407

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

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

  Nov 2, 202645s
  More actions for workflow run 406

• docs(proofs): inventory Agda-first reconciliation without retiring Id…

  completed successfully:
  CodeQL Security Analysis#405:Commit6b210dcpushedbyhyperpolymath
  main

  Nov 2, 202636s
  More actions for workflow run 405

• Clarify VCL-UT level claims and proof scope (#138)

  completed successfully:
  CodeQL Security Analysis#404:Commit0eac9fcpushedbyhyperpolymath
  main

  Nov 1, 202635s
  More actions for workflow run 404

• Clarify VCL-UT level claims and proof scope

  completed successfully:
  CodeQL Security Analysis#403:Pull request#138synchronizebyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 202647s
  More actions for workflow run 403

• Clarify VCL-UT level claims and proof scope

  completed successfully:
  CodeQL Security Analysis#402:Pull request#138synchronizebyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 202643s
  More actions for workflow run 402

• Clarify VCL-UT level claims and proof scope

  completed successfully:
  CodeQL Security Analysis#401:Pull request#138synchronizebyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 202642s
  More actions for workflow run 401

• Clarify VCL-UT level claims and proof scope

  completed successfully:
  CodeQL Security Analysis#400:Pull request#138synchronizebyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 202653s
  More actions for workflow run 400

• Clarify VCL-UT level claims and proof scope

  completed successfully:
  CodeQL Security Analysis#399:Pull request#138synchronizebyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 20264m 8s
  More actions for workflow run 399

• Clarify VCL-UT level claims and proof scope

  completed successfully:
  CodeQL Security Analysis#398:Pull request#138synchronizebyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 202656s
  More actions for workflow run 398

• Clarify VCL-UT level claims and proof scope

  completed successfully:
  CodeQL Security Analysis#397:Pull request#138openedbyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 20264m 19s
  More actions for workflow run 397

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#396:Scheduled
  main

  Nov 1, 202644s
  More actions for workflow run 396

• docs(proofs): inventory Agda-first reconciliation without retiring Idris2

  completed successfully:
  CodeQL Security Analysis#395:Pull request#137openedbyhyperpolymath
  proofs/agda-reconciliation-policy-2026-11

  Nov 1, 20261m 22s
  More actions for workflow run 395

• docs(research): distinguish gate levels and explore identity across r…

  completed successfully:
  CodeQL Security Analysis#394:Commit002b654pushedbyhyperpolymath
  main

  Oct 29, 202642s
  More actions for workflow run 394

• docs(research): distinguish gate levels and explore identity across representations and time

  completed successfully:
  CodeQL Security Analysis#393:Pull request#135synchronizebyhyperpolymath
  docs/kategoria-open-ended-type-programme

  Oct 29, 202639s
  More actions for workflow run 393

• fix(governance): relocate canonical STATE with all live consumers (Hy…

  completed successfully:
  CodeQL Security Analysis#392:Commit591e6f3pushedbyhyperpolymath
  main

  Oct 29, 202649s
  More actions for workflow run 392

• docs(research): distinguish gate levels and explore identity across representations and time

  completed successfully:
  CodeQL Security Analysis#391:Pull request#135synchronizebyhyperpolymath
  docs/kategoria-open-ended-type-programme

  Oct 29, 20261m 1s
  More actions for workflow run 391

• docs(research): distinguish gate levels and explore identity across representations and time

  completed successfully:
  CodeQL Security Analysis#390:Pull request#135synchronizebyhyperpolymath
  docs/kategoria-open-ended-type-programme

  Oct 29, 20261m 12s
  More actions for workflow run 390

• docs(research): distinguish gate levels and explore identity across representations and time

  cancelled:
  CodeQL Security Analysis#389:Pull request#135synchronizebyhyperpolymath
  docs/kategoria-open-ended-type-programme

  Oct 29, 202639s
  More actions for workflow run 389