Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,198 workflow runs
1,198 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
Claude/echidna mcp (#33) CodeQL Security Analysis #448: Commit 6c07c3d pushed by hyperpolymath
8m 15s main
main
8m 15s
Claude/echidna mcp CodeQL Security Analysis #447: Pull request #33 synchronize by hyperpolymath
3m 40s claude/echidna-mcp
claude/echidna-mcp
3m 40s
Claude/echidna mcp CodeQL Security Analysis #446: Pull request #33 opened by hyperpolymath
4m 3s claude/echidna-mcp
claude/echidna-mcp
4m 3s
Claude/echidna mcp (#32) CodeQL Security Analysis #445: Commit d5ee691 pushed by hyperpolymath
3m 52s main
main
3m 52s
Claude/echidna mcp CodeQL Security Analysis #444: Pull request #32 opened by hyperpolymath
9m 21s claude/echidna-mcp
claude/echidna-mcp
9m 21s
Add echidna-wire crate with Cap'n Proto IPC schemas (L1.0) CodeQL Security Analysis #443: Commit f41ff25 pushed by hyperpolymath
8m 0s main
main
8m 0s
security(deps): clear cargo-audit vuln + 2 unmaintained-crate warning… CodeQL Security Analysis #442: Commit 667110f pushed by hyperpolymath
8m 33s main
main
8m 33s
security(deps): clear cargo-audit vuln + 2 unmaintained-crate warnings CodeQL Security Analysis #441: Pull request #31 synchronize by hyperpolymath
11m 37s claude/extract-typed-wasm-crate-TPDM9
claude/extract-typed-wasm-crate-TPDM9
11m 37s
security(deps): clear cargo-audit vuln + 2 unmaintained-crate warnings CodeQL Security Analysis #440: Pull request #31 opened by hyperpolymath
4m 1s claude/extract-typed-wasm-crate-TPDM9
claude/extract-typed-wasm-crate-TPDM9
4m 1s
docs: clarify v2.2+ roadmap status with implementation details CodeQL Security Analysis #439: Commit 78127c6 pushed by hyperpolymath
8m 15s main
main
8m 15s
Update language stack: migrate from ReScript to AffineScript CodeQL Security Analysis #438: Commit 1d5b7de pushed by hyperpolymath
2m 39s main
main
2m 39s
Remove generate_idr.py and update documentation CodeQL Security Analysis #437: Commit 5f83d01 pushed by hyperpolymath
2m 21s main
main
2m 21s
Refactor language/tool stack documentation for Rust-first architecture CodeQL Security Analysis #436: Commit 64a8345 pushed by hyperpolymath
9m 4s main
main
9m 4s
Extract TypedWasm engine to standalone crate, add discipline routing CodeQL Security Analysis #435: Commit 050de1e pushed by hyperpolymath
7m 50s main
main
7m 50s
Claude/fix prover wiring epy ir (#30) CodeQL Security Analysis #434: Commit 1b3a0e9 pushed by hyperpolymath
9m 1s main
main
9m 1s
Claude/fix prover wiring epy ir CodeQL Security Analysis #433: Pull request #30 synchronize by hyperpolymath
7m 25s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
7m 25s
Claude/fix prover wiring epy ir (#29) CodeQL Security Analysis #432: Commit 74e0504 pushed by hyperpolymath
8m 56s main
main
8m 56s
Claude/fix prover wiring epy ir CodeQL Security Analysis #431: Pull request #29 opened by hyperpolymath
7m 27s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
7m 27s
feat(corpus): normalize labels, expand 4 TCs, regenerate vocab CodeQL Security Analysis #430: Commit 207716c pushed by hyperpolymath
7m 30s main
main
7m 30s
fix(types): add type_info field to test-only struct literals CodeQL Security Analysis #429: Commit c393921 pushed by hyperpolymath
8m 32s main
main
8m 32s
feat(corpus): expand 10 critically small provers (4→192 avg) CodeQL Security Analysis #428: Commit 77d1ec0 pushed by hyperpolymath
9m 24s main
main
9m 24s
security: remove binary artifact echidna_gui.wasm to resolve scorecar… CodeQL Security Analysis #427: Commit 20153c7 pushed by hyperpolymath
8m 13s main
main
8m 13s
security: update reqwest and lockfiles to resolve rustls-webpki and r… CodeQL Security Analysis #426: Commit a3d1e79 pushed by hyperpolymath
8m 12s main
main
8m 12s
feat(corpus,security): expand Isabelle corpus to 105 entries and reso… CodeQL Security Analysis #425: Commit 082587b pushed by hyperpolymath
8m 45s main
main
8m 45s
Claude/fix prover wiring epy ir (#28) CodeQL Security Analysis #424: Commit aeac6e3 pushed by hyperpolymath
9m 13s main
main
9m 13s
ProTip! You can narrow down the results and go further in time using created:<2026-04-20 or the other filters available.