CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• refactor(root): relocate the contributing guide into .github/ (#220)

  completed successfully:
  CodeQL Security Analysis#852:Commita1de1b8pushedbyhyperpolymath
  main

  Sep 19, 20262h 11m 28s
  More actions for workflow run 852

• refactor(root): relocate the contributing guide into .github/

  completed successfully:
  CodeQL Security Analysis#851:Pull request#220openedbyhyperpolymath
  refactor/contributing-guide-relocation

  Sep 19, 20262h 11m 23s
  More actions for workflow run 851

• chore(www): migrate root .well-known/ to www/.well-known/ (#219)

  cancelled:
  CodeQL Security Analysis#850:Commit3d11731pushedbyhyperpolymath
  main

  Sep 18, 20262h 6m 57s
  More actions for workflow run 850

• chore(www): migrate root .well-known/ to www/.well-known/

  cancelled:
  CodeQL Security Analysis#849:Pull request#219openedbyhyperpolymath
  chore/well-known-to-www

  Sep 18, 20262h 7m 4s
  More actions for workflow run 849

• Fix/idris2 totality and elaboration cures (#217)

  completed successfully:
  CodeQL Security Analysis#848:Commita92d237pushedbyhyperpolymath
  main

  Sep 17, 20261m 7s
  More actions for workflow run 848

• Fix/idris2 totality and elaboration cures

  completed successfully:
  CodeQL Security Analysis#847:Pull request#217synchronizebyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Sep 17, 20261m 5s
  More actions for workflow run 847

• fix(ci): repair unparseable permissions scalar (2 workflow file(s)) (…

  completed successfully:
  CodeQL Security Analysis#846:Commitb30bdbfpushedbyhyperpolymath
  main

  Sep 15, 20261m 4s
  More actions for workflow run 846

• fix(ci): repair unparseable permissions scalar (2 workflow file(s))

  completed successfully:
  CodeQL Security Analysis#845:Pull request#218openedbyhyperpolymath
  fix/workflow-permissions-scalar-parse-error

  Sep 14, 20261m 53s
  More actions for workflow run 845

• fix(idris2): cure seven build blockers — build goes VOID → RED, front…

  completed successfully:
  CodeQL Security Analysis#844:Commit3b118cbpushedbyhyperpolymath
  main

  Sep 13, 20261m 18s
  More actions for workflow run 844

• fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305

  completed successfully:
  CodeQL Security Analysis#843:Pull request#206synchronizebyhyperpolymath
  fix/idris2-build-blockers

  Sep 13, 20261m 40s
  More actions for workflow run 843

• chore(dependabot): cap open pull requests per update block (#216)

  cancelled:
  CodeQL Security Analysis#842:Commitb6bd74epushedbyhyperpolymath
  main

  Sep 13, 20261m 11s
  More actions for workflow run 842

• chore(dependabot): cap open pull requests per update block

  completed successfully:
  CodeQL Security Analysis#841:Pull request#216openedbyhyperpolymath
  chore/dependabot-pr-caps-2026-09-08

  Sep 12, 20261m 2s
  More actions for workflow run 841

• fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305

  completed successfully:
  CodeQL Security Analysis#840:Pull request#206synchronizebycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 20261m 17s
  More actions for workflow run 840

• fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305

  completed successfully:
  CodeQL Security Analysis#839:Pull request#206synchronizebycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 202653s
  More actions for workflow run 839

• fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305

  completed successfully:
  CodeQL Security Analysis#838:Pull request#206synchronizebyhyperpolymath
  fix/idris2-build-blockers

  Sep 9, 202658s
  More actions for workflow run 838

• fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305

  completed successfully:
  CodeQL Security Analysis#837:Pull request#206synchronizebyhyperpolymath
  fix/idris2-build-blockers

  Sep 8, 20264m 44s
  More actions for workflow run 837

• chore(ci): repoint push-email-notify to smtp-notify-action (#215)

  completed successfully:
  CodeQL Security Analysis#836:Commitb047620pushedbyhyperpolymath
  main

  Sep 3, 202659m 32s
  More actions for workflow run 836

• chore(ci): repoint push-email-notify to smtp-notify-action

  completed successfully:
  CodeQL Security Analysis#835:Pull request#215openedbyhyperpolymath
  chore/smtp-notify-action

  Sep 3, 20269m 10s
  More actions for workflow run 835

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#834:Scheduled
  main

  Sep 1, 20261m 8s
  More actions for workflow run 834

• chore: bump standards workflow pins (#214)

  completed successfully:
  CodeQL Security Analysis#833:Commitaa6dbd2pushedbyhyperpolymath
  main

  Aug 31, 20261m 17s
  More actions for workflow run 833

• chore: bump standards workflow pins

  completed successfully:
  CodeQL Security Analysis#832:Pull request#214openedbyhyperpolymath
  chore/bump-standards-pins-2026-08-30

  Aug 31, 20261m 26s
  More actions for workflow run 832

• fix(ci): the invisible-character gate never matched anything (#207)

  completed successfully:
  CodeQL Security Analysis#831:Commite615ba0pushedbyhyperpolymath
  main

  Aug 27, 20261h 8m 52s
  More actions for workflow run 831

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

  completed successfully:
  CodeQL Security Analysis#830:Commitc31fc6fpushedbyhyperpolymath
  main

  Aug 27, 20261m 10s
  More actions for workflow run 830

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

  completed successfully:
  CodeQL Security Analysis#829:Pull request#213synchronizebyhyperpolymath
  automated/label-tooling

  Aug 27, 202627m 46s
  More actions for workflow run 829

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

  completed successfully:
  CodeQL Security Analysis#828:Pull request#213openedbyhyperpolymath
  automated/label-tooling

  Aug 27, 20261h 21m 34s
  More actions for workflow run 828