CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#123:Scheduled
  main

  Feb 9, 20267m 14s
  More actions for workflow run 123

• docs: update documentation to reflect trust & safety hardening comple…

  completed successfully:
  CodeQL Security Analysis#122:Commitb22b882pushedbyhyperpolymath
  main

  Feb 8, 20267m 17s
  More actions for workflow run 122

• feat: implement trust & safety hardening (Tasks 1-13)

  completed successfully:
  CodeQL Security Analysis#121:Commit4d34cb6pushedbyhyperpolymath
  main

  Feb 8, 20267m 5s
  More actions for workflow run 121

• feat: add panic-attack security scan workflow

  completed successfully:
  CodeQL Security Analysis#120:Commit451127apushedbyhyperpolymath
  main

  Feb 8, 20261m 36s
  More actions for workflow run 120

• docs: comprehensive v1.4.0 documentation update

  completed successfully:
  CodeQL Security Analysis#119:Commitf5bdbc9pushedbyhyperpolymath
  main

  Feb 7, 20262h 22m 46s
  More actions for workflow run 119

• feat: consolidate all interfaces into echidna monorepo

  completed successfully:
  CodeQL Security Analysis#118:Commit06c1cb4pushedbyhyperpolymath
  main

  Feb 7, 20262h 40m 48s
  More actions for workflow run 118

• feat: integrate E Prover, SPASS, and Alt-Ergo FOL ATPs

  completed successfully:
  CodeQL Security Analysis#117:Commit484d2fcpushedbyhyperpolymath
  main

  Feb 7, 20262h 50m 12s
  More actions for workflow run 117

• feat: register Vampire in Julia ML and Chapel parallel layers

  completed successfully:
  CodeQL Security Analysis#116:Commitbd37e09pushedbyhyperpolymath
  main

  Feb 7, 20263h 4m 39s
  More actions for workflow run 116

• general update

  completed successfully:
  CodeQL Security Analysis#115:Commita9a1adbpushedbyhyperpolymath
  main

  Feb 6, 20268m 33s
  More actions for workflow run 115

• Automated fix: update submodule

  completed successfully:
  CodeQL Security Analysis#114:Commit15f2317pushedbyhyperpolymath
  main

  Feb 5, 20267m 25s
  More actions for workflow run 114

• docs: update checkpoint files, add correctness architecture

  completed successfully:
  CodeQL Security Analysis#113:Commit63e1635pushedbyhyperpolymath
  main

  Feb 5, 20266m 32s
  More actions for workflow run 113

• general update

  completed successfully:
  CodeQL Security Analysis#112:Commita5bcfbcpushedbyhyperpolymath
  main

  Feb 4, 20263h 48m 0s
  More actions for workflow run 112

• docs: update SCM files with project information

  completed successfully:
  CodeQL Security Analysis#111:Commit0b2b696pushedbyhyperpolymath
  main

  Feb 4, 20263h 10m 14s
  More actions for workflow run 111

• docs: add SCM checkpoint files

  completed successfully:
  CodeQL Security Analysis#110:Commitc857038pushedbyhyperpolymath
  main

  Feb 4, 202610m 6s
  More actions for workflow run 110

• general update

  completed successfully:
  CodeQL Security Analysis#109:Commit2bbcdabpushedbyhyperpolymath
  main

  Feb 4, 202638m 40s
  More actions for workflow run 109

• chore(deps): bump bytes from 1.11.0 to 1.11.1 in the cargo group across 1 directory

  completed successfully:
  CodeQL Security Analysis#108:Pull request#5openedbydependabot[bot]Bot
  dependabot/cargo/cargo-f6ecf5c85a

  Feb 3, 202610m 39s
  More actions for workflow run 108

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#107:Scheduled
  main

  Feb 2, 20266m 45s
  More actions for workflow run 107

• chore: sync

  completed successfully:
  CodeQL Security Analysis#106:Commitad2d397pushedbyhyperpolymath
  main

  Feb 1, 202658m 51s
  More actions for workflow run 106

• feat(ci): enable Hypatia scanning

  completed successfully:
  CodeQL Security Analysis#105:Commit7e127fepushedbyhyperpolymath
  main

  Jan 29, 202640m 59s
  More actions for workflow run 105

• docs: comprehensive documentation for v1.3.0 release

  completed successfully:
  CodeQL Security Analysis#104:Commitd91314cpushedbyhyperpolymath
  main

  Jan 29, 20267m 7s
  More actions for workflow run 104

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#103:Scheduled
  main

  Jan 26, 20266m 1s
  More actions for workflow run 103

• chore: fix license headers to PMPL-1.0-or-later

  completed successfully:
  CodeQL Security Analysis#102:Commit6eaa0e1pushedbyhyperpolymath
  main

  Jan 22, 20261h 59m 37s
  More actions for workflow run 102

• chore: commit local changes for sync

  completed successfully:
  CodeQL Security Analysis#101:Commita391b78pushedbyhyperpolymath
  main

  Jan 22, 202625m 54s
  More actions for workflow run 101

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#100:Scheduled
  main

  Jan 19, 20266m 33s
  More actions for workflow run 100

• Record local MVP sweep status

  completed successfully:
  CodeQL Security Analysis#99:Commitaa86c8apushedbyhyperpolymath
  main

  Jan 19, 20267m 10s
  More actions for workflow run 99