CodeQL

Workflow runs for CodeQL

• CodeQL

  failed at startup:
  CodeQL#46:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-3bff3dd69f

  Sep 15, 2026Startup failure
  More actions for workflow run 46

• chore(actions): relock drifted action pins

  completed successfully:
  CodeQL#45:Pull request#25openedbyhyperpolymath
  fix/relock-actions-lock

  Sep 15, 202642s
  More actions for workflow run 45

• CodeQL

  completed successfully:
  CodeQL#44:Scheduled
  main

  Sep 13, 202640s
  More actions for workflow run 44

• docs(agents): add a GEMINI.md pointer to the maintained instructions …

  completed successfully:
  CodeQL#43:Commit9fc1215pushedbyhyperpolymath
  main

  Sep 9, 20268m 52s
  More actions for workflow run 43

• docs(agents): add a GEMINI.md pointer to the maintained instructions

  completed successfully:
  CodeQL#42:Pull request#24openedbyhyperpolymath
  chore/llm-pointer-2026-09-08

  Sep 8, 20262m 14s
  More actions for workflow run 42

• CodeQL

  failed at startup:
  CodeQL#41:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-e061d434e4

  Sep 8, 2026Startup failure
  More actions for workflow run 41

• CodeQL

  completed successfully:
  CodeQL#40:Scheduled
  main

  Sep 6, 202640s
  More actions for workflow run 40

• fix(license): replace Palimpsest placeholder with canonical MPL-2.0 (…

  completed successfully:
  CodeQL#39:Commit4d47f65pushedbyhyperpolymath
  main

  Sep 2, 202646s
  More actions for workflow run 39

• fix(license): replace Palimpsest placeholder with canonical MPL-2.0

  completed successfully:
  CodeQL#38:Pull request#22openedbyhyperpolymath
  chore/pmpl-to-mpl2

  Sep 2, 202648s
  More actions for workflow run 38

• chore(deps): bump leanprover/lean-action from 1.5.0 to 1.6.0 in the a…

  completed successfully:
  CodeQL#37:Commitff8dca9pushedbyhyperpolymath
  main

  Aug 31, 202644s
  More actions for workflow run 37

• CodeQL

  completed successfully:
  CodeQL#36:Scheduled
  main

  Aug 30, 202637s
  More actions for workflow run 36

• feat(labels): estate label tooling + auto-triage for new issues (#21)

  completed successfully:
  CodeQL#35:Commita95d22epushedbyhyperpolymath
  main

  Aug 27, 20261h 29m 51s
  More actions for workflow run 35

• feat(labels): estate label tooling + auto-triage for new issues

  completed successfully:
  CodeQL#34:Pull request#21synchronizebyhyperpolymath
  automated/label-tooling

  Aug 27, 202621m 25s
  More actions for workflow run 34

• feat(labels): estate label tooling + auto-triage for new issues

  completed successfully:
  CodeQL#33:Pull request#21synchronizebyhyperpolymath
  automated/label-tooling

  Aug 27, 20261h 14m 49s
  More actions for workflow run 33

• feat(labels): estate label tooling + auto-triage for new issues

  completed successfully:
  CodeQL#32:Pull request#21openedbyhyperpolymath
  automated/label-tooling

  Aug 27, 202641m 15s
  More actions for workflow run 32

• CodeQL

  failed at startup:
  CodeQL#31:synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-f9ab2a6d48

  Aug 27, 2026Startup failure
  More actions for workflow run 31

• fix(ci): unbreak workflow YAML and add a complete actions.lock (#20)

  completed successfully:
  CodeQL#30:Commita84d1d0pushedbyhyperpolymath
  main

  Aug 27, 202642s
  More actions for workflow run 30

• fix(ci): unbreak workflow YAML and add a complete actions.lock

  completed successfully:
  CodeQL#29:Pull request#20openedbyhyperpolymath
  fix/workflow-dependency-locking

  Aug 27, 20261m 1s
  More actions for workflow run 29

• CodeQL

  failed at startup:
  CodeQL#28:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-f9ab2a6d48

  Aug 25, 2026Startup failure
  More actions for workflow run 28

• chore(deps): bump actions/checkout from 4 to 7 in the actions group (…

  failed at startup:
  CodeQL#27:Commit90ab8c2pushedbyhyperpolymath
  main

  Aug 24, 2026Startup failure
  More actions for workflow run 27

• CodeQL

  failed at startup:
  CodeQL#26:synchronizebyhyperpolymath
  dependabot/github_actions/actions-640176b5ab

  Aug 24, 2026Startup failure
  More actions for workflow run 26

• refactor: migrate Markdown to AsciiDoc (#18)

  failed at startup:
  CodeQL#25:Commit0f37d21pushedbyhyperpolymath
  main

  Aug 24, 2026Startup failure
  More actions for workflow run 25

• CodeQL

  failed at startup:
  CodeQL#24:openedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 2026Startup failure
  More actions for workflow run 24

• CodeQL

  failed at startup:
  CodeQL#23:Scheduled
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 23

• CodeQL

  failed at startup:
  CodeQL#22:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-640176b5ab

  Aug 18, 2026Startup failure
  More actions for workflow run 22