CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(deps): bump rmcp from 1.7.0 to 2.0.0

  completed successfully:
  CodeQL Security Analysis#1128:Pull request#289synchronizebydependabot[bot]Bot
  dependabot/cargo/rmcp-1.8.0

  Jul 1, 20261m 8s
  More actions for workflow run 1128

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#1127:Scheduled
  main

  Jul 1, 20261m 9s
  More actions for workflow run 1127

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#291)

  completed successfully:
  CodeQL Security Analysis#1126:Commitc1e9ab6pushedbyhyperpolymath
  main

  Jun 27, 202637m 17s
  More actions for workflow run 1126

• ci: refresh standards reusable pins to current HEAD (d7c2271)

  completed successfully:
  CodeQL Security Analysis#1125:Pull request#291openedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 202635m 4s
  More actions for workflow run 1125

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

  completed successfully:
  CodeQL Security Analysis#1124:Pull request#290openedbydependabot[bot]Bot
  dependabot/github_actions/actions-16016706dd

  Jun 26, 20261m 13s
  More actions for workflow run 1124

• chore(deps): bump rmcp from 1.7.0 to 2.0.0

  completed successfully:
  CodeQL Security Analysis#1123:Pull request#289openedbydependabot[bot]Bot
  dependabot/cargo/rmcp-1.8.0

  Jun 26, 20261m 4s
  More actions for workflow run 1123

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profi…

  completed successfully:
  CodeQL Security Analysis#1122:Commitc601d02pushedbyhyperpolymath
  main

  Jun 25, 202643m 20s
  More actions for workflow run 1122

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health)

  completed successfully:
  CodeQL Security Analysis#1121:Pull request#288openedbyhyperpolymath
  fix/readme-adoc-to-markdown

  Jun 25, 202641m 42s
  More actions for workflow run 1121

• feat(ci): attest build provenance (#287)

  completed successfully:
  CodeQL Security Analysis#1120:Commit4b3e0cbpushedbyhyperpolymath
  main

  Jun 25, 20269h 20m 54s
  More actions for workflow run 1120

• feat(ci): attest build provenance

  completed successfully:
  CodeQL Security Analysis#1119:Pull request#287openedbyhyperpolymath
  feat/attest-build-provenance

  Jun 25, 20269h 42m 9s
  More actions for workflow run 1119

• chore(ci): add dormant push-email notification workflow (#286)

  cancelled:
  CodeQL Security Analysis#1118:Commit15aa05apushedbyhyperpolymath
  main

  Jun 24, 202615h 45m 42s
  More actions for workflow run 1118

• chore(ci): add dormant push-email notification workflow

  completed successfully:
  CodeQL Security Analysis#1117:Pull request#286openedbyhyperpolymath
  chore/push-email-notify

  Jun 24, 202614h 10m 12s
  More actions for workflow run 1117

• chore(clade): backfill [status] lifecycle block (#285)

  cancelled:
  CodeQL Security Analysis#1116:Commit821f4b4pushedbyhyperpolymath
  main

  Jun 24, 202631m 26s
  More actions for workflow run 1116

• chore(clade): backfill [status] lifecycle block

  completed successfully:
  CodeQL Security Analysis#1115:Pull request#285openedbyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 202613h 19m 55s
  More actions for workflow run 1115

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  cancelled:
  CodeQL Security Analysis#1114:Commitf690c7dpushedbyhyperpolymath
  main

  Jun 24, 202654m 47s
  More actions for workflow run 1114

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  completed successfully:
  CodeQL Security Analysis#1113:Pull request#284openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 20269h 39m 41s
  More actions for workflow run 1113

• chore(ci): bump standards reusable workflow pins (#283)

  cancelled:
  CodeQL Security Analysis#1112:Commit2e384ebpushedbyhyperpolymath
  main

  Jun 24, 202649m 2s
  More actions for workflow run 1112

• chore(ci): bump standards reusable workflow pins

  completed successfully:
  CodeQL Security Analysis#1111:Pull request#283openedbyhyperpolymath
  chore/bump-standards-pins-2026-06-24

  Jun 24, 20261h 18m 36s
  More actions for workflow run 1111

• chore: retire local issue/discussion templates -> inherit org .github…

  completed successfully:
  CodeQL Security Analysis#1110:Commit4932d70pushedbyhyperpolymath
  main

  Jun 22, 20262m 48s
  More actions for workflow run 1110

• fix(proofs): comprehensively nat-annotate EchidnaNat to green the Isa…

  completed successfully:
  CodeQL Security Analysis#1109:Commitff435d0pushedbyhyperpolymath
  main

  Jun 21, 20261m 13s
  More actions for workflow run 1109

• fix(proofs): comprehensively nat-annotate EchidnaNat to green the Isabelle base

  completed successfully:
  CodeQL Security Analysis#1108:Pull request#282openedbyhyperpolymath
  claude/loving-cannon-AtUSm

  Jun 21, 20261m 10s
  More actions for workflow run 1108

• fix(proofs): finish Isabelle base gate; descope Mizar (#280); fix ver…

  completed successfully:
  CodeQL Security Analysis#1107:Commit6848193pushedbyhyperpolymath
  main

  Jun 21, 20261m 13s
  More actions for workflow run 1107

• fix(proofs): finish Isabelle base gate; descope Mizar (#280); fix verif-idris perms

  completed successfully:
  CodeQL Security Analysis#1106:Pull request#281openedbyhyperpolymath
  claude/loving-cannon-AtUSm

  Jun 21, 20261m 14s
  More actions for workflow run 1106

• fix(proofs): finish Isabelle base corpus repair (polymorphic nat/list…

  completed successfully:
  CodeQL Security Analysis#1105:Commit990a367pushedbyhyperpolymath
  main

  Jun 21, 20261m 9s
  More actions for workflow run 1105

• fix(proofs): finish Isabelle base corpus repair (polymorphic nat/list lemmas)

  completed successfully:
  CodeQL Security Analysis#1104:Pull request#279openedbyhyperpolymath
  claude/loving-cannon-AtUSm

  Jun 21, 20261m 5s
  More actions for workflow run 1104