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
chore(state): record late-evening session — 4 deferred follow-ups closed CodeQL Security Analysis #497: Commit b6852d7 pushed by hyperpolymath
8m 48s main
main
8m 48s
fix(rest+llm): /api/v1/consult e2e wiring — env-var port + cartridge … CodeQL Security Analysis #496: Commit 1b613c2 pushed by hyperpolymath
7m 54s main
main
7m 54s
fix(provers): bounded_read_proof_file helper + 25 wrapper migrations CodeQL Security Analysis #495: Commit 4241abf pushed by hyperpolymath
7m 59s main
main
7m 59s
feat: add comprehensive fault-tolerance architecture (4 layers) CodeQL Security Analysis #494: Commit 87f49a4 pushed by hyperpolymath
8m 14s main
main
8m 14s
fix(uppaal): https for the UPPAAL flat-DTD URI; STATE.a2ml session log CodeQL Security Analysis #493: Commit bc25fad pushed by hyperpolymath
7m 46s main
main
7m 46s
chore(reports): chunked panic-attack sweep — replaces 180s-timeout si… CodeQL Security Analysis #492: Commit 4dbe74f pushed by hyperpolymath
8m 45s main
main
8m 45s
test: add Stage 1 integration test (end-to-end proof execution) CodeQL Security Analysis #491: Commit 98ea3b5 pushed by hyperpolymath
9m 17s main
main
9m 17s
fix(rest): unblock /api/v1/consult — 37 pre-existing rest-crate errors CodeQL Security Analysis #490: Commit 6c878a1 pushed by hyperpolymath
8m 54s main
main
8m 54s
docs: handoff guide for Sonnet 4.7 (container isolation + GNN training) CodeQL Security Analysis #489: Commit 7197d3e pushed by hyperpolymath
7m 49s main
main
7m 49s
docs: detailed implementation specs for container isolation + GNN tra… CodeQL Security Analysis #488: Commit ec14fe9 pushed by hyperpolymath
8m 8s main
main
8m 8s
chore(state): record ReScript→AffineScript + Rust→Rust/SPARK migratio… CodeQL Security Analysis #487: Commit b942b9d pushed by hyperpolymath
8m 6s main
main
8m 6s
feat(rest): /api/v1/consult endpoint for Consultant-mode Q&A CodeQL Security Analysis #486: Commit 1195cb0 pushed by hyperpolymath
8m 2s main
main
8m 2s
docs: add comprehensive 8-stage roadmap for echidna-as-a-service CodeQL Security Analysis #485: Commit 3a2e194 pushed by hyperpolymath
8m 15s main
main
8m 15s
feat(ci): adopt cargo-audit workflow for dependency vulnerability scan CodeQL Security Analysis #484: Commit b49ee29 pushed by hyperpolymath
8m 56s main
main
8m 56s
docs(bot-directives): add echidnabot mode directive (Phase 7) CodeQL Security Analysis #483: Commit 3e90c49 pushed by hyperpolymath
7m 44s main
main
7m 44s
docs(crg): populate external-targets / issues-fed-back / field-signal… CodeQL Security Analysis #482: Commit ca7a606 pushed by hyperpolymath
7m 53s main
main
7m 53s
chore(drift-001): delete embedded echidnabot/ copy — standalone is ca… CodeQL Security Analysis #481: Commit 9218f77 pushed by hyperpolymath
8m 18s main
main
8m 18s
feat(corpus): ingest echidnabot feedback deltas in merge_corpus.jl (7… CodeQL Security Analysis #480: Commit 7621ca6 pushed by hyperpolymath
9m 36s main
main
9m 36s
Claude/echidna mcp (#37) CodeQL Security Analysis #479: Commit 365dde2 pushed by hyperpolymath
9m 3s main
main
9m 3s
Claude/echidna mcp CodeQL Security Analysis #478: Pull request #37 synchronize by hyperpolymath
9m 42s claude/echidna-mcp
claude/echidna-mcp
9m 42s
Claude/assess agent tier readiness w q od r (#36) CodeQL Security Analysis #477: Commit 10cc846 pushed by hyperpolymath
9m 16s main
main
9m 16s
Claude/assess agent tier readiness w q od r CodeQL Security Analysis #476: Pull request #36 synchronize by hyperpolymath
8m 24s claude/assess-agent-tier-readiness-wQOdR
claude/assess-agent-tier-readiness-wQOdR
8m 24s
chore(deps): cargo update — patch rustls-webpki + transitive bumps CodeQL Security Analysis #475: Commit 7b5191e pushed by hyperpolymath
8m 22s main
main
8m 22s
fix(example): remove dead NeuralTagger reference from aspect_tagging_… CodeQL Security Analysis #474: Commit dcaf52c pushed by hyperpolymath
7m 46s main
main
7m 46s
test(fixtures): add type_info: None to Hypothesis/Definition/Variable… CodeQL Security Analysis #473: Commit bde23ab pushed by hyperpolymath
7m 47s main
main
7m 47s
ProTip! You can narrow down the results and go further in time using created:<2026-04-24 or the other filters available.