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): 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
feat(abi): register AxiomTracker + Gnn in ipkg; fix Idris2 proofs CodeQL Security Analysis #460: Commit cf581a3 pushed by hyperpolymath
7m 49s main
main
7m 49s
ci(chapel): fix pre-existing path + Zig action drift CodeQL Security Analysis #459: Commit 65e6a45 pushed by hyperpolymath
13m 31s main
main
13m 31s
feat(provers): wire 8 new backends into mod.rs + fix unused-param war… CodeQL Security Analysis #458: Commit c8c0acf pushed by hyperpolymath
10m 1s main
main
10m 1s
ci(chapel): include src/rust/dispatch.rs in path filter CodeQL Security Analysis #457: Commit 0af1c4b pushed by hyperpolymath
8m 22s main
main
8m 22s
feat(dispatch): wire ChapelParallelSearch into ProverDispatcher (L2.1) CodeQL Security Analysis #456: Commit d01a33b pushed by hyperpolymath
9m 20s main
main
9m 20s
feat(spark): introduce SPARK/Ada axiom-policy enforcement layer CodeQL Security Analysis #455: Commit 5f0f289 pushed by hyperpolymath
7m 45s main
main
7m 45s
chore: template conformance — add ANCHOR.a2ml, contractiles (adjust/b… CodeQL Security Analysis #454: Commit 7330d37 pushed by hyperpolymath
8m 42s main
main
8m 42s
docs(er): add canonical ER.a2ml covering 22 entities and 39 relations… CodeQL Security Analysis #453: Commit 2df8060 pushed by hyperpolymath
7m 47s main
main
7m 47s
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 #452: Pull request #35 opened by dependabot Bot
8m 16s dependabot/cargo/fuzz/cargo-8056535635
dependabot/cargo/fuzz/cargo-8056535635
8m 16s
Claude/echidna mcp (#34) CodeQL Security Analysis #451: Commit 6ee5c64 pushed by hyperpolymath
14m 18s main
main
14m 18s
Claude/echidna mcp CodeQL Security Analysis #450: Pull request #34 synchronize by hyperpolymath
11m 59s claude/echidna-mcp
claude/echidna-mcp
11m 59s
Claude/echidna mcp CodeQL Security Analysis #449: Pull request #34 opened by hyperpolymath
5m 1s claude/echidna-mcp
claude/echidna-mcp
5m 1s
Claude/echidna mcp (#33) CodeQL Security Analysis #448: Commit 6c07c3d pushed by hyperpolymath
8m 15s main
main
8m 15s
ProTip! You can narrow down the results and go further in time using created:<2026-04-22 or the other filters available.