Skip to content

Actions: hyperpolymath/eclexia

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
119 workflow runs
119 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL Security Analysis CodeQL Security Analysis #119: Scheduled
1m 8s main
main
1m 8s
fix: move SCM files to .machine_readable/ (RSR compliance) CodeQL Security Analysis #118: Commit 59b2000 pushed by hyperpolymath
3m 6s main
main
3m 6s
docs: add status reports and implementation plans CodeQL Security Analysis #117: Commit 4a2b632 pushed by hyperpolymath
1m 26s main
main
1m 26s
chore: gitignore crash capture artifacts and clean untracked cruft CodeQL Security Analysis #116: Commit e967d18 pushed by hyperpolymath
1m 17s main
main
1m 17s
feat: enroll in gitbot-fleet with bot directives CodeQL Security Analysis #115: Commit 2fee76a pushed by hyperpolymath
1m 9s main
main
1m 9s
docs: update all documentation with honest metrics after SONNET-TASKS… CodeQL Security Analysis #114: Commit d046548 pushed by hyperpolymath
1m 41s main
main
1m 41s
fix: resolve all clippy warnings across workspace CodeQL Security Analysis #113: Commit 6b9d6fa pushed by hyperpolymath
1m 33s main
main
1m 33s
test: add 25 unit tests for VM and adaptive decision engine CodeQL Security Analysis #112: Commit c6ca428 pushed by hyperpolymath
1m 36s main
main
1m 36s
feat(llvm): add native runtime library for LLVM backend linking CodeQL Security Analysis #111: Commit 23e5003 pushed by hyperpolymath
1m 40s main
main
1m 40s
feat(interop): add bridge configuration parser and validator CodeQL Security Analysis #110: Commit e37c322 pushed by hyperpolymath
1m 37s main
main
1m 37s
feat(registry): implement package registry server CodeQL Security Analysis #109: Commit 404703b pushed by hyperpolymath
1m 41s main
main
1m 41s
feat(wasm): add WASI preview1 integration infrastructure CodeQL Security Analysis #108: Commit ee9694d pushed by hyperpolymath
1m 28s main
main
1m 28s
feat(cranelift): add string data infrastructure and range TODOs CodeQL Security Analysis #107: Commit 6db042f pushed by hyperpolymath
1m 41s main
main
1m 41s
feat: complete Coq proofs and wire reactive crates with watch mode CodeQL Security Analysis #106: Commit b12af0d pushed by hyperpolymath
1m 40s main
main
1m 40s
Auto-commit: Sync changes [2026-02-11] CodeQL Security Analysis #105: Commit d1d0bcc pushed by hyperpolymath
1m 39s main
main
1m 39s
Auto-commit: Sync changes [2026-02-10] CodeQL Security Analysis #104: Commit f1a3925 pushed by hyperpolymath
2m 39s main
main
2m 39s
feat: wire eclexia-db, eclexia-modules, eclexia-tiered into build --a… CodeQL Security Analysis #103: Commit 8dd9176 pushed by hyperpolymath
1m 35s main
main
1m 35s
docs: fix 11 discrepancies found in verification audit CodeQL Security Analysis #102: Commit dfcf038 pushed by hyperpolymath
1m 28s main
main
1m 28s
docs: update QUICK_STATUS.md — 4/7 reactive crates wired, shadow pric… CodeQL Security Analysis #101: Commit f4e84a8 pushed by hyperpolymath
1m 30s main
main
1m 30s
feat: dynamic shadow prices from VM resource usage, 4 new working exa… CodeQL Security Analysis #100: Commit f39fe28 pushed by hyperpolymath
1m 31s main
main
1m 31s
feat: wire eclexia-specialize + eclexia-effects into build --analyze,… CodeQL Security Analysis #99: Commit 0441089 pushed by hyperpolymath
1m 26s main
main
1m 26s
fix: enum variant matching bug and Value::Struct PartialEq CodeQL Security Analysis #98: Commit ab5fe04 pushed by hyperpolymath
1m 31s main
main
1m 31s
docs: update QUICK_STATUS.md with reactive crate wiring, security fix… CodeQL Security Analysis #97: Commit 9956304 pushed by hyperpolymath
1m 33s main
main
1m 33s
feat: add --analyze flag to build command for MIR resource analysis CodeQL Security Analysis #96: Commit d5241ab pushed by hyperpolymath
1m 26s main
main
1m 26s
fix: replace dangerous production unwrap() calls with safe alternatives CodeQL Security Analysis #95: Commit 6eb2b45 pushed by hyperpolymath
1m 35s main
main
1m 35s