Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
137 workflow runs
137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): bump bytes from 1.11.0 to 1.11.1 in the cargo group acro… CodeQL Security Analysis #137: Commit 62ce32d pushed by hyperpolymath
22m 43s main
main
22m 43s
chore(deps): bump bytes from 1.11.0 to 1.11.1 in the cargo group across 1 directory CodeQL Security Analysis #136: Pull request #5 synchronize by hyperpolymath
20m 58s dependabot/cargo/cargo-f6ecf5c85a
dependabot/cargo/cargo-f6ecf5c85a
20m 58s
CodeQL Security Analysis CodeQL Security Analysis #135: Scheduled
6m 49s main
main
6m 49s
chore: remove crash capture artifacts, update .gitignore CodeQL Security Analysis #134: Commit 757e32c pushed by hyperpolymath
23m 53s main
main
23m 53s
docs: add session entry for workflow automation, note GitLab divergence CodeQL Security Analysis #133: Commit 0cba626 pushed by hyperpolymath
7m 35s main
main
7m 35s
feat: pass VERISIMDB_PAT to scan-and-report workflow CodeQL Security Analysis #132: Commit 5856de2 pushed by hyperpolymath
7m 31s main
main
7m 31s
feat: add OPSM to echidna ecosystem (community-tools) CodeQL Security Analysis #131: Commit e622a19 pushed by hyperpolymath
6m 41s main
main
6m 41s
docs: add dot files/folders verification status CodeQL Security Analysis #130: Commit 20750d8 pushed by hyperpolymath
7m 0s main
main
7m 0s
chore: update machine-readable STATE.scm and remove root SCM duplicates CodeQL Security Analysis #129: Commit 07b5f5e pushed by hyperpolymath
7m 50s main
main
7m 50s
release: v1.5.0 - Trust & Safety + Fleet Integration CodeQL Security Analysis #128: Commit dac1ad9 pushed by hyperpolymath
7m 0s main
main
7m 0s
feat: add performance benchmarks for prover backend creation CodeQL Security Analysis #127: Commit 4e9c81d pushed by hyperpolymath
7m 23s main
main
7m 23s
security: add comprehensive safety documentation for unsafe blocks CodeQL Security Analysis #126: Commit 4137890 pushed by hyperpolymath
7m 4s main
main
7m 4s
docs: update SONNET-TASKS.md with v1.5 completion verification CodeQL Security Analysis #125: Commit 945a523 pushed by hyperpolymath
7m 0s main
main
7m 0s
Auto-commit: Sync changes [2026-02-10] CodeQL Security Analysis #124: Commit 97cde50 pushed by hyperpolymath
7m 14s main
main
7m 14s
CodeQL Security Analysis CodeQL Security Analysis #123: Scheduled
7m 14s main
main
7m 14s
docs: update documentation to reflect trust & safety hardening comple… CodeQL Security Analysis #122: Commit b22b882 pushed by hyperpolymath
7m 17s main
main
7m 17s
feat: implement trust & safety hardening (Tasks 1-13) CodeQL Security Analysis #121: Commit 4d34cb6 pushed by hyperpolymath
7m 5s main
main
7m 5s
feat: add panic-attack security scan workflow CodeQL Security Analysis #120: Commit 451127a pushed by hyperpolymath
1m 36s main
main
1m 36s
docs: comprehensive v1.4.0 documentation update CodeQL Security Analysis #119: Commit f5bdbc9 pushed by hyperpolymath
2h 22m 46s main
main
2h 22m 46s
feat: consolidate all interfaces into echidna monorepo CodeQL Security Analysis #118: Commit 06c1cb4 pushed by hyperpolymath
2h 40m 48s main
main
2h 40m 48s
feat: integrate E Prover, SPASS, and Alt-Ergo FOL ATPs CodeQL Security Analysis #117: Commit 484d2fc pushed by hyperpolymath
2h 50m 12s main
main
2h 50m 12s
feat: register Vampire in Julia ML and Chapel parallel layers CodeQL Security Analysis #116: Commit bd37e09 pushed by hyperpolymath
3h 4m 39s main
main
3h 4m 39s
general update CodeQL Security Analysis #115: Commit a9a1adb pushed by hyperpolymath
8m 33s main
main
8m 33s
Automated fix: update submodule CodeQL Security Analysis #114: Commit 15f2317 pushed by hyperpolymath
7m 25s main
main
7m 25s
docs: update checkpoint files, add correctness architecture CodeQL Security Analysis #113: Commit 63e1635 pushed by hyperpolymath
6m 32s main
main
6m 32s