Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,197 workflow runs
1,197 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(integration): Wire VQL-UT to VeriSimDB search + Julia embeddings CodeQL Security Analysis #197: Commit bd6c758 pushed by hyperpolymath
6m 33s main
main
6m 33s
feat(vql-ut): Add 10-level type-safe cross-prover query language CodeQL Security Analysis #196: Commit fd9da3a pushed by hyperpolymath
6m 30s main
main
6m 30s
feat(abi-ffi): Add per-prover Idris2 ABI + Zig FFI for all 30 backends CodeQL Security Analysis #195: Commit fb7c087 pushed by hyperpolymath
6m 31s main
main
6m 31s
feat(verisimdb): Add 8-modality proof storage via VeriSimDB octads CodeQL Security Analysis #194: Commit 20d8f53 pushed by hyperpolymath
7m 35s main
main
7m 35s
Chore/cicd optimizations (#8) CodeQL Security Analysis #193: Commit e04813e pushed by hyperpolymath
6m 55s main
main
6m 55s
Chore/cicd optimizations CodeQL Security Analysis #192: Pull request #8 synchronize by hyperpolymath
6m 30s chore/cicd-optimizations
chore/cicd-optimizations
6m 30s
Chore/cicd optimizations CodeQL Security Analysis #191: Pull request #8 opened by hyperpolymath
5m 56s chore/cicd-optimizations
chore/cicd-optimizations
5m 56s
feat(llm): Add frontier LLM advisor via BoJ Server integration CodeQL Security Analysis #190: Commit e521e96 pushed by hyperpolymath
6m 31s main
main
6m 31s
feat(chapel): Enable Chapel accelerator build integration CodeQL Security Analysis #189: Commit ef47c3a pushed by hyperpolymath
6m 11s main
main
6m 11s
Merge remote-tracking branch 'gitlab/main' CodeQL Security Analysis #188: Commit 109bb2e pushed by hyperpolymath
6m 26s main
main
6m 26s
chore: CI/CD permissions refinement, FFI wrappers, corpus expansion t… CodeQL Security Analysis #187: Commit ea9819b pushed by hyperpolymath
6m 45s main
main
6m 45s
fix(ci): Resolve workflow-linter self-matching and metadata issues CodeQL Security Analysis #186: Commit 16e3958 pushed by hyperpolymath
6m 30s main
main
6m 30s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #185: Pull request #6 synchronize by hyperpolymath
6m 23s chore/cicd-optimizations
chore/cicd-optimizations
6m 23s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #184: Pull request #6 synchronize by hyperpolymath
28m 56s chore/cicd-optimizations
chore/cicd-optimizations
28m 56s
chore(security): harden ML API URL handling to mitigate SSRF CodeQL Security Analysis #183: Commit 7dda580 pushed by hyperpolymath
27m 30s main
main
27m 30s
chore(security): fix SSRF vulnerability in ML API handling CodeQL Security Analysis #182: Pull request #7 opened by hyperpolymath
19m 10s chore/fix-ssrf-vulnerability
chore/fix-ssrf-vulnerability
19m 10s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #181: Pull request #6 opened by hyperpolymath
14m 0s chore/cicd-optimizations
chore/cicd-optimizations
14m 0s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #180: Commit d2f8ed3 pushed by hyperpolymath
2h 8m 14s main
main
2h 8m 14s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #179: Commit 3e2f718 pushed by hyperpolymath
1h 10m 17s main
main
1h 10m 17s
chore: RSR sync and mass repository update CodeQL Security Analysis #178: Commit 3ef7ffd pushed by hyperpolymath
28m 48s main
main
28m 48s
chore: add #![forbid(unsafe_code)] to safe Rust crates CodeQL Security Analysis #177: Commit 9bdad3e pushed by hyperpolymath
2h 31m 57s main
main
2h 31m 57s
feat: add CLADE.a2ml — clade taxonomy declaration CodeQL Security Analysis #176: Commit c0f01ae pushed by hyperpolymath
1h 8m 31s main
main
1h 8m 31s
chore: restructure nested 6a2ml files into .machine_readable/6a2/ CodeQL Security Analysis #175: Commit 3244be0 pushed by hyperpolymath
29m 45s main
main
29m 45s
CodeQL Security Analysis CodeQL Security Analysis #174: Scheduled
5h 5m 13s main
main
5h 5m 13s
ci: deploy missing standard workflows (2 added) CodeQL Security Analysis #173: Commit 07cc4a2 pushed by hyperpolymath
7h 35m 15s main
main
7h 35m 15s
ProTip! You can narrow down the results and go further in time using created:<2026-03-16 or the other filters available.