Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
560 workflow runs
560 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
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
chore(state): mark Package 4 step 6 closed + record type_info test-fi… CodeQL Security Analysis #472: Commit 99381fe pushed by hyperpolymath
8m 36s main
main
8m 36s
feat(rest): /proofs/{id}/export + /exchange/import — OpenTheory + Ded… CodeQL Security Analysis #471: Commit 1b32576 pushed by hyperpolymath
8m 28s main
main
8m 28s
test(ffi): update kind_from_u8 out-of-range boundary 105→113 CodeQL Security Analysis #470: Commit 2b0edfb pushed by hyperpolymath
8m 51s main
main
8m 51s
chore(state): record Package 4 close-out session (vcl-ut ↔ echidna bi… CodeQL Security Analysis #469: Commit 0d8853a pushed by hyperpolymath
8m 37s main
main
8m 37s
feat(provers): add provers.a2ml catalogue + gen-provers-a2ml.sh gener… CodeQL Security Analysis #468: Commit 2fbfbc6 pushed by hyperpolymath
8m 16s main
main
8m 16s
docs(echidnabot/agentic): record BoJ-only-MCP exception carve-out CodeQL Security Analysis #467: Commit 1498ebb pushed by hyperpolymath
11m 57s main
main
11m 57s
chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /fuzz in… CodeQL Security Analysis #466: Commit 58de26f pushed by hyperpolymath
12m 38s main
main
12m 38s
chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /fuzz in the cargo group across 1 directory CodeQL Security Analysis #465: Pull request #35 synchronize by hyperpolymath
11m 58s dependabot/cargo/fuzz/cargo-8056535635
dependabot/cargo/fuzz/cargo-8056535635
11m 58s
docs(state): close Package 5 — corpus >100k + /gnn/rank wired (no cos… CodeQL Security Analysis #464: Commit 3362863 pushed by hyperpolymath
20m 8s main
main
20m 8s
test(julia): smoke test for /gnn/rank (verifies trained-model path) CodeQL Security Analysis #463: Commit ab0823b pushed by hyperpolymath
8m 13s main
main
8m 13s
feat(executor): add bounded_command_output to cap prover stdout/stderr CodeQL Security Analysis #462: Commit 1542c8a pushed by hyperpolymath
7m 43s main
main
7m 43s
fix(security): panic-attack P10 — MEDIUM fixes (HTTPS, mktemp, JSON 4… CodeQL Security Analysis #461: Commit 876b78b pushed by hyperpolymath
8m 12s main
main
8m 12s