Skip to content

Actions: hyperpolymath/echidna

Actions

Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
security-scan.yml
307 workflow runs
307 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 (#34) Security Scan #307: Commit 6ee5c64 pushed by hyperpolymath
12m 29s main
main
12m 29s
Claude/echidna mcp (#33) Security Scan #306: Commit 6c07c3d pushed by hyperpolymath
6m 2s main
main
6m 2s
Claude/echidna mcp (#32) Security Scan #305: Commit d5ee691 pushed by hyperpolymath
9m 43s main
main
9m 43s
Add echidna-wire crate with Cap'n Proto IPC schemas (L1.0) Security Scan #304: Commit f41ff25 pushed by hyperpolymath
5m 33s main
main
5m 33s
security(deps): clear cargo-audit vuln + 2 unmaintained-crate warning… Security Scan #303: Commit 667110f pushed by hyperpolymath
7m 29s main
main
7m 29s
docs: clarify v2.2+ roadmap status with implementation details Security Scan #302: Commit 78127c6 pushed by hyperpolymath
5m 50s main
main
5m 50s
Update language stack: migrate from ReScript to AffineScript Security Scan #301: Commit 1d5b7de pushed by hyperpolymath
5m 31s main
main
5m 31s
Remove generate_idr.py and update documentation Security Scan #300: Commit 5f83d01 pushed by hyperpolymath
5m 41s main
main
5m 41s
Refactor language/tool stack documentation for Rust-first architecture Security Scan #299: Commit 64a8345 pushed by hyperpolymath
5m 38s main
main
5m 38s
Extract TypedWasm engine to standalone crate, add discipline routing Security Scan #298: Commit 050de1e pushed by hyperpolymath
4m 14s main
main
4m 14s
Claude/fix prover wiring epy ir (#30) Security Scan #297: Commit 1b3a0e9 pushed by hyperpolymath
5m 41s main
main
5m 41s
Claude/fix prover wiring epy ir (#29) Security Scan #296: Commit 74e0504 pushed by hyperpolymath
5m 54s main
main
5m 54s
feat(corpus): normalize labels, expand 4 TCs, regenerate vocab Security Scan #295: Commit 207716c pushed by hyperpolymath
5m 41s main
main
5m 41s
fix(types): add type_info field to test-only struct literals Security Scan #294: Commit c393921 pushed by hyperpolymath
5m 53s main
main
5m 53s
feat(corpus): expand 10 critically small provers (4→192 avg) Security Scan #293: Commit 77d1ec0 pushed by hyperpolymath
5m 55s main
main
5m 55s
security: remove binary artifact echidna_gui.wasm to resolve scorecar… Security Scan #292: Commit 20153c7 pushed by hyperpolymath
8m 20s main
main
8m 20s
security: update reqwest and lockfiles to resolve rustls-webpki and r… Security Scan #291: Commit a3d1e79 pushed by hyperpolymath
6m 1s main
main
6m 1s
feat(corpus,security): expand Isabelle corpus to 105 entries and reso… Security Scan #290: Commit 082587b pushed by hyperpolymath
7m 6s main
main
7m 6s
Claude/fix prover wiring epy ir (#28) Security Scan #289: Commit aeac6e3 pushed by hyperpolymath
6m 10s main
main
6m 10s
feat(types): native type-system decoration layer (#26) Security Scan #288: Commit f12fc15 pushed by hyperpolymath
5m 52s main
main
5m 52s
long path Security Scan #287: Commit e44815a pushed by hyperpolymath
6m 14s main
main
6m 14s
Complete L3 phase: Wave-3 backends and documentation Security Scan #286: Commit 93d4c76 pushed by hyperpolymath
5m 35s main
main
5m 35s
feat(vocab): reaching the absolute limit — 1M tokens from 700K proof … Security Scan #285: Commit d0dabbb pushed by hyperpolymath
6m 9s main
main
6m 9s
feat(vocab): massive expansion from 100K to 250K+ tokens based on 700… Security Scan #284: Commit b055ebb pushed by hyperpolymath
5m 52s main
main
5m 52s
feat(corpus): resolved & expanded training corpus (700K+ proofs) (#25) Security Scan #283: Commit 03ae8ba pushed by hyperpolymath
5m 45s main
main
5m 45s