🟡 Check: CodeQL security analysis

Workflow runs for 🟡 Check: CodeQL security analysis

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

  completed successfully:
  🟡 Check: CodeQL security analysis#20:Pull request#10openedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 202659m 51s
  More actions for workflow run 20

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

  completed successfully:
  🟡 Check: CodeQL security analysis#19:Pull request#9openedbyhyperpolymath
  fix/readme-adoc-to-markdown

  Jun 25, 202649m 34s
  More actions for workflow run 19

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

  completed successfully:
  🟡 Check: CodeQL security analysis#18:Commit321cb46pushedbyhyperpolymath
  main

  Jun 24, 202617h 38m 55s
  More actions for workflow run 18

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

  completed successfully:
  🟡 Check: CodeQL security analysis#17:Pull request#8openedbyhyperpolymath
  chore/push-email-notify

  Jun 24, 202612h 56m 23s
  More actions for workflow run 17

• chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#7)

  completed successfully:
  🟡 Check: CodeQL security analysis#16:Commitef494a9pushedbyhyperpolymath
  main

  Jun 24, 202610h 18m 38s
  More actions for workflow run 16

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

  completed successfully:
  🟡 Check: CodeQL security analysis#15:Pull request#7openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 202610h 8m 13s
  More actions for workflow run 15

• chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#6)

  completed successfully:
  🟡 Check: CodeQL security analysis#14:Commitc97f9a4pushedbyhyperpolymath
  main

  Jun 24, 20262h 4m 33s
  More actions for workflow run 14

• chore(ci): bump standards reusable workflow pins

  completed successfully:
  🟡 Check: CodeQL security analysis#13:Pull request#6openedbyhyperpolymath
  chore/bump-standards-pins-2026-06-24

  Jun 24, 20261h 58m 22s
  More actions for workflow run 13

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

  completed successfully:
  🟡 Check: CodeQL security analysis#12:Commit27cdb76pushedbyhyperpolymath
  main

  Jun 22, 202652m 11s
  More actions for workflow run 12

• chore: dotfiles handle Idris2 (.idr/.ipkg) + EBNF (#5)

  completed successfully:
  🟡 Check: CodeQL security analysis#11:Commit367956bpushedbyhyperpolymath
  main

  Jun 22, 202646s
  More actions for workflow run 11

• chore: dotfiles handle Idris2 + EBNF (.gitattributes/.editorconfig)

  completed successfully:
  🟡 Check: CodeQL security analysis#10:Pull request#5openedbyhyperpolymath
  chore/dotfiles-idris

  Jun 22, 202645s
  More actions for workflow run 10

• Merge pull request #4 from hyperpolymath/feat/trope-build

  completed successfully:
  🟡 Check: CodeQL security analysis#9:Commitc870f93pushedbyhyperpolymath
  main

  Jun 22, 202639s
  More actions for workflow run 9

• fix(bots): neuter live mutating rhodibot → report-only audit mode (+directive, 4-mode setting) [WS-1]

  completed successfully:
  🟡 Check: CodeQL security analysis#8:Pull request#4openedbyhyperpolymath
  feat/trope-build

  Jun 22, 202654s
  More actions for workflow run 8

• Merge pull request #3 from hyperpolymath/feat/trope-build

  completed successfully:
  🟡 Check: CodeQL security analysis#7:Commit8ded785pushedbyhyperpolymath
  main

  Jun 22, 202640s
  More actions for workflow run 7

• chore(ci): de-Python the dogfood-gate validator (follow-up)

  completed successfully:
  🟡 Check: CodeQL security analysis#6:Pull request#3synchronizebyhyperpolymath
  feat/trope-build

  Jun 22, 202649s
  More actions for workflow run 6

• chore(ci): de-Python the dogfood-gate validator (follow-up)

  completed successfully:
  🟡 Check: CodeQL security analysis#5:Pull request#3openedbyhyperpolymath
  feat/trope-build

  Jun 22, 202647s
  More actions for workflow run 5

• Merge pull request #2 from hyperpolymath/feat/trope-build

  completed successfully:
  🟡 Check: CodeQL security analysis#4:Commit6bdb256pushedbyhyperpolymath
  main

  Jun 22, 202648s
  More actions for workflow run 4

• refactor: Haec example checker to bash+jq (no Python)

  completed successfully:
  🟡 Check: CodeQL security analysis#3:Pull request#2openedbyhyperpolymath
  feat/trope-build

  Jun 22, 202649s
  More actions for workflow run 3

• Merge pull request #1 from hyperpolymath/feat/trope-build

  completed successfully:
  🟡 Check: CodeQL security analysis#2:Commit75cbc2cpushedbyhyperpolymath
  main

  Jun 22, 202648s
  More actions for workflow run 2

• feat: Haec — trope-particularity language front-end (grammar, elaboration, examples)

  completed successfully:
  🟡 Check: CodeQL security analysis#1:Pull request#1openedbyhyperpolymath
  feat/trope-build

  Jun 22, 202649s
  More actions for workflow run 1