Skip to content

Actions: hyperpolymath/echidna

Actions

Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
security-scan.yml
718 workflow runs
718 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: add K9 Kennel-level metadata guard Security Scan #143: Commit 4f6b1f8 pushed by hyperpolymath
Failure main
main
Failure
feat: add k9iser.toml and generate K9 contracts Security Scan #142: Commit c52df41 pushed by hyperpolymath
Failure main
main
Failure
ci: deploy dogfood-gate, add Groove manifest and CRG tests Security Scan #141: Commit 66b6bc4 pushed by hyperpolymath
Failure main
main
Failure
test: CRG B evidence — 6 external targets tested Security Scan #140: Commit 5097cb8 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): exclude third-party HTML dirs from mixed content check Security Scan #139: Commit a462d5a pushed by hyperpolymath
Failure main
main
Failure
test: CRG C blitz — E2E, P2P, security, concurrency + routing benchmarks Security Scan #138: Commit ea22b5a pushed by hyperpolymath
Failure main
main
Failure
test: CRG C blitz — E2E, P2P, aspect, Julia, shell test coverage Security Scan #137: Commit d9b7ea0 pushed by hyperpolymath
Failure main
main
Failure
feat(axioms): add really_believe_me, prim__crash (Idris2) + {!!} hole… Security Scan #136: Commit 7d46dbc pushed by hyperpolymath
Failure main
main
Failure
fix(deps): update Cargo.lock to resolve security advisories Security Scan #135: Commit ccbe52c pushed by hyperpolymath
Failure main
main
Failure
Snapshot local work before sync Security Scan #134: Commit 0197bdb pushed by hyperpolymath
Failure main
main
Failure
Snapshot local work before sync Security Scan #133: Commit 1e2e984 pushed by hyperpolymath
Failure main
main
Failure
Change Green Hosting link in README Security Scan #132: Commit b98f67b pushed by hyperpolymath
Failure main
main
Failure
feat: add AxiomTrackerCompleteness.agda Security Scan #131: Commit 563ce51 pushed by hyperpolymath
Failure main
main
Failure
Remove template-only ABI files that falsely implied formal verification Security Scan #130: Commit e1ae4f7 pushed by hyperpolymath
Failure main
main
Failure
docs: add BibTeX bibliography for neurosymbolic theorem proving paper Security Scan #129: Commit 0ae79b9 pushed by hyperpolymath
Failure main
main
Failure
feat: add GNN integration for proof search guidance (v2.1.0) Security Scan #128: Commit e7f373e pushed by hyperpolymath
Failure main
main
Failure
feat: 5x vocabulary expansion — 72,557 tokens across 48 provers + 10 … Security Scan #127: Commit 706556f pushed by hyperpolymath
Failure main
main
Failure
docs: update ReScript file count (28→33) and version after TS migration Security Scan #126: Commit ff9d279 pushed by hyperpolymath
Failure main
main
Failure
feat: migrate all 15 TypeScript files to ReScript — zero TS remaining Security Scan #125: Commit 5b58598 pushed by hyperpolymath
Failure main
main
Failure
feat: migrate all 26 corpus extraction scripts from Python to Julia Security Scan #124: Commit 637e39e pushed by hyperpolymath
Failure main
main
Failure
chore: replace template placeholders in ROADMAP.adoc files Security Scan #123: Commit b3eae15 pushed by hyperpolymath
Failure main
main
Failure
chore: update Cargo dependencies for security Security Scan #122: Commit 2ff20e4 pushed by hyperpolymath
Failure main
main
Failure
Security Scan Security Scan #121: Scheduled
Failure main
main
Failure
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Security Scan #120: Commit eba3e3f pushed by hyperpolymath
Failure main
main
Failure
chore: gitignore .tool-versions (asdf) Security Scan #119: Commit 8515751 pushed by hyperpolymath
Failure main
main
Failure
ProTip! You can narrow down the results and go further in time using created:<2026-03-28 or the other filters available.