Skip to content

Actions: hyperpolymath/echidna

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
494 workflow runs
494 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(echidna-mcp): add README with usage, tool reference, examples Code Quality #494: Commit fb06ae8 pushed by hyperpolymath
19s claude/assess-agent-tier-readiness-wQOdR
claude/assess-agent-tier-readiness-wQOdR
19s
fix(tests): add missing type_info field and remove stale NeuralTagger… Code Quality #493: Commit 526bc5e pushed by hyperpolymath
1m 18s claude/assess-agent-tier-readiness-wQOdR
claude/assess-agent-tier-readiness-wQOdR
1m 18s
chore(settings): pin git-restore + live_goals rm permissions Code Quality #492: Commit 4a31946 pushed by hyperpolymath
18s claude/echidna-mcp
claude/echidna-mcp
18s
fix(grpc)+security+test: resuscitate echidna-grpc, bump tonic, add li… Code Quality #491: Commit 2fa200e pushed by hyperpolymath
21s claude/echidna-mcp
claude/echidna-mcp
21s
Claude/echidna mcp (#34) Code Quality #490: Commit 6ee5c64 pushed by hyperpolymath
6m 25s main
main
6m 25s
Claude/echidna mcp Code Quality #489: Pull request #34 synchronize by hyperpolymath
7m 15s claude/echidna-mcp
claude/echidna-mcp
7m 15s
Merge branch 'main' into claude/echidna-mcp Code Quality #488: Commit d374737 pushed by hyperpolymath
4m 53s claude/echidna-mcp
claude/echidna-mcp
4m 53s
Claude/echidna mcp Code Quality #487: Pull request #34 opened by hyperpolymath
2m 10s claude/echidna-mcp
claude/echidna-mcp
2m 10s
fix(provers): extend source_path pattern to 32 remaining lossy backends Code Quality #486: Commit 940e940 pushed by hyperpolymath
58s claude/echidna-mcp
claude/echidna-mcp
58s
Claude/echidna mcp (#33) Code Quality #485: Commit 6c07c3d pushed by hyperpolymath
47s main
main
47s
Claude/echidna mcp Code Quality #484: Pull request #33 synchronize by hyperpolymath
58s claude/echidna-mcp
claude/echidna-mcp
58s
Merge branch 'main' into claude/echidna-mcp Code Quality #483: Commit dae7815 pushed by hyperpolymath
1m 22s claude/echidna-mcp
claude/echidna-mcp
1m 22s
Claude/echidna mcp Code Quality #482: Pull request #33 opened by hyperpolymath
20s claude/echidna-mcp
claude/echidna-mcp
20s
fix(provers): apply source_path/content pattern to 5 more backends Code Quality #481: Commit 80eb943 pushed by hyperpolymath
20s claude/echidna-mcp
claude/echidna-mcp
20s
fix(provers): stop verify_proof from round-tripping through lossy IR Code Quality #480: Commit ac209ee pushed by hyperpolymath
20s claude/echidna-mcp
claude/echidna-mcp
20s
Claude/echidna mcp (#32) Code Quality #479: Commit d5ee691 pushed by hyperpolymath
5m 15s main
main
5m 15s
Claude/echidna mcp Code Quality #478: Pull request #32 opened by hyperpolymath
39s claude/echidna-mcp
claude/echidna-mcp
39s
security(deps): bump capnp 0.20 -> 0.25 (RUSTSEC-2025-0143) Code Quality #477: Commit c497661 pushed by hyperpolymath
20s claude/echidna-mcp
claude/echidna-mcp
20s
feat(mcp): add echidna-mcp server so AI agents can call ECHIDNA as a … Code Quality #476: Commit 06b82b9 pushed by hyperpolymath
20s claude/echidna-mcp
claude/echidna-mcp
20s
Add echidna-wire crate with Cap'n Proto IPC schemas (L1.0) Code Quality #475: Commit f41ff25 pushed by hyperpolymath
33s main
main
33s
feat(capnp-l1.0): add echidna-wire crate with 7 Cap'n Proto schemas Code Quality #474: Commit 93ffe14 pushed by hyperpolymath
19s claude/capnp-l1
claude/capnp-l1
19s
security(deps): clear cargo-audit vuln + 2 unmaintained-crate warning… Code Quality #473: Commit 667110f pushed by hyperpolymath
3m 26s main
main
3m 26s
Merge branch 'main' into claude/extract-typed-wasm-crate-TPDM9 Code Quality #472: Commit 900eb44 pushed by hyperpolymath
3m 35s claude/extract-typed-wasm-crate-TPDM9
claude/extract-typed-wasm-crate-TPDM9
3m 35s
security(deps): clear cargo-audit vuln + 2 unmaintained-crate warnings Code Quality #471: Pull request #31 synchronize by hyperpolymath
3m 23s claude/extract-typed-wasm-crate-TPDM9
claude/extract-typed-wasm-crate-TPDM9
3m 23s
security(deps): clear cargo-audit vuln + 2 unmaintained-crate warnings Code Quality #470: Pull request #31 opened by hyperpolymath
1m 0s claude/extract-typed-wasm-crate-TPDM9
claude/extract-typed-wasm-crate-TPDM9
1m 0s