CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Add language policy CLAUDE.md

  completed successfully:
  CodeQL Security Analysis#45:Commit0d65a5cpushedbyhyperpolymath
  main

  Dec 24, 202525m 58s
  More actions for workflow run 45

• Remove contamination

  completed successfully:
  CodeQL Security Analysis#44:Commit7779a40pushedbyhyperpolymath
  main

  Dec 23, 20256m 6s
  More actions for workflow run 44

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#43:Scheduled
  main

  Dec 22, 20256m 36s
  More actions for workflow run 43

• feat(provers): add Deno-native theorem prover integration (#4)

  completed successfully:
  CodeQL Security Analysis#42:Commit605cfcfpushedbyhyperpolymath
  main

  Dec 18, 20258m 9s
  More actions for workflow run 42

• feat(provers): add Deno-native theorem prover integration

  completed successfully:
  CodeQL Security Analysis#41:Pull request#4synchronizebyhyperpolymath
  claude/free-api-tools-docs-eaJ6Z

  Dec 18, 20256m 29s
  More actions for workflow run 41

• feat(provers): add Deno-native theorem prover integration

  completed successfully:
  CodeQL Security Analysis#40:Pull request#4openedbyhyperpolymath
  claude/free-api-tools-docs-eaJ6Z

  Dec 18, 20256m 25s
  More actions for workflow run 40

• Review SCM files and security updates (#3)

  completed successfully:
  CodeQL Security Analysis#39:Commit107c377pushedbyhyperpolymath
  main

  Dec 18, 20254m 51s
  More actions for workflow run 39

• Review SCM files and security updates

  completed successfully:
  CodeQL Security Analysis#38:Pull request#3openedbyhyperpolymath
  claude/review-scm-security-1rty5

  Dec 18, 20255m 2s
  More actions for workflow run 38

• Add GitHub community files

  completed successfully:
  CodeQL Security Analysis#37:Commit4b4e36fpushedbyhyperpolymath
  main

  Dec 15, 202513h 24m 9s
  More actions for workflow run 37

• chore(license): standardize to MIT OR AGPL-3.0-or-later

  completed successfully:
  CodeQL Security Analysis#36:Commit0194021pushedbyhyperpolymath
  main

  Dec 15, 202512h 55m 54s
  More actions for workflow run 36

• chore: add workflow security linter (robot-cleaner)

  completed successfully:
  CodeQL Security Analysis#35:Commitb2de4b1pushedbyhyperpolymath
  main

  Dec 15, 202511h 43m 13s
  More actions for workflow run 35

• fix: align CodeQL with repo languages (robot-cleaner)

  completed successfully:
  CodeQL Security Analysis#34:Commit8556283pushedbyhyperpolymath
  main

  Dec 15, 202511h 43m 10s
  More actions for workflow run 34

• chore: update STATE.scm with ecosystem metadata

  failed:
  CodeQL Security Analysis#33:Commitd8602c4pushedbyhyperpolymath
  main

  Dec 15, 20259h 26m 44s
  More actions for workflow run 33

• chore: update ECOSYSTEM.scm with ecosystem metadata

  failed:
  CodeQL Security Analysis#32:Commita448f2cpushedbyhyperpolymath
  main

  Dec 15, 20259h 26m 43s
  More actions for workflow run 32

• chore: update META.scm with ecosystem metadata

  failed:
  CodeQL Security Analysis#31:Commit94ff505pushedbyhyperpolymath
  main

  Dec 15, 20259h 26m 43s
  More actions for workflow run 31

• chore:configure-dependabot

  failed:
  CodeQL Security Analysis#30:Commit1a20db2pushedbyhyperpolymath
  main

  Dec 15, 20259h 54m 13s
  More actions for workflow run 30

• chore: add STATE.scm ecosystem metadata

  failed:
  CodeQL Security Analysis#29:Commitca043bfpushedbyhyperpolymath
  main

  Dec 15, 20252h 41m 9s
  More actions for workflow run 29

• chore: add ECOSYSTEM.scm ecosystem metadata

  failed:
  CodeQL Security Analysis#28:Commitdd1e66epushedbyhyperpolymath
  main

  Dec 15, 20252h 41m 10s
  More actions for workflow run 28

• chore: add META.scm ecosystem metadata

  failed:
  CodeQL Security Analysis#27:Commitcd866e6pushedbyhyperpolymath
  main

  Dec 15, 20252h 41m 9s
  More actions for workflow run 27

• chore: standardize .gitattributes (RSR)

  failed:
  CodeQL Security Analysis#26:Commit7609cedpushedbyhyperpolymath
  main

  Dec 15, 20252h 41m 13s
  More actions for workflow run 26

• chore: standardize .gitignore (RSR)

  failed:
  CodeQL Security Analysis#25:Commitfdda1b1pushedbyhyperpolymath
  main

  Dec 15, 20252h 38m 11s
  More actions for workflow run 25

• chore: remove .github/workflows/comprehensive-quality.yml

  failed:
  CodeQL Security Analysis#24:Commit20a4b20pushedbyhyperpolymath
  main

  Dec 15, 20252h 38m 20s
  More actions for workflow run 24

• chore: remove .github/workflows/codeql-analysis.yml

  failed:
  CodeQL Security Analysis#23:Commit53033a3pushedbyhyperpolymath
  main

  Dec 15, 20252h 38m 21s
  More actions for workflow run 23

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#22:Scheduled
  main

  Dec 15, 20259s
  More actions for workflow run 22

• Update README.adoc

  failed:
  CodeQL Security Analysis#21:Commit530f948pushedbyhyperpolymath
  main

  Dec 15, 20257s
  More actions for workflow run 21