Skip to content

Actions: hyperpolymath/echidna

Actions

.github/workflows/cargo-audit.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cargo-audit.yml
79 workflow runs
79 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(audit): clear lib+test warnings, fix prober dispatch bug, sync … .github/workflows/cargo-audit.yml #79: Commit 72587ae pushed by hyperpolymath
Failure claude/audit-and-test-systems-G3K5K
claude/audit-and-test-systems-G3K5K
Failure
docs(state): record EOD landing of Phase13.agda + RankBrouwer.agda .github/workflows/cargo-audit.yml #78: Commit a652da4 pushed by hyperpolymath
Failure main
main
Failure
docs: corpus subsystem guide + 2026-04-28 ADR + 6a2 sync + Justfile r… .github/workflows/cargo-audit.yml #77: Commit 95d5399 pushed by hyperpolymath
Failure main
main
Failure
feat(corpus): multi-axis query DSL — N-dim plan capstone .github/workflows/cargo-audit.yml #76: Commit 8265f9b pushed by hyperpolymath
-1s main
main
-1s
docs(readme): update prover count 48→128 and test count 613→917 .github/workflows/cargo-audit.yml #75: Commit 8d0d9e7 pushed by hyperpolymath
Failure main
main
Failure
chore(state): record 2026-04-27 audit + cleanup session .github/workflows/cargo-audit.yml #74: Commit 1ccee56 pushed by hyperpolymath
Failure main
main
Failure
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) .github/workflows/cargo-audit.yml #73: Commit 52daa4a pushed by hyperpolymath
Failure main
main
Failure
feat(l3-wave3): complete Wave-3 Tier-3 container infrastructure (9 ba… .github/workflows/cargo-audit.yml #72: Commit a87fae1 pushed by hyperpolymath
Failure main
main
Failure
feat(spark): Stage 8c-M3 — outer-loop invariant, CI hard gate .github/workflows/cargo-audit.yml #71: Commit 45d1de0 pushed by hyperpolymath
Failure main
main
Failure
feat(spark): Stage 8c-M2 — live compute contract + pure dominates + i… .github/workflows/cargo-audit.yml #70: Commit b9c06fd pushed by hyperpolymath
Failure main
main
Failure
feat(spark): Stage 8c — live Creusot contracts + weighted_rank + CI (… .github/workflows/cargo-audit.yml #69: Commit 7c02c2e pushed by hyperpolymath
Failure main
main
Failure
feat(suggest): implement suggest_tactics for Abella, KeYmaeraX, EasyC… .github/workflows/cargo-audit.yml #68: Commit fb3db5a pushed by hyperpolymath
Failure main
main
Failure
feat(suggest): implement echidna suggest CLI verb — mechanical tactic… .github/workflows/cargo-audit.yml #67: Commit 133e31b pushed by hyperpolymath
Failure main
main
Failure
feat(provers): close Phase 4 — 6 DL/probabilistic/B-method/comp-crypt… .github/workflows/cargo-audit.yml #66: Commit 94002d0 pushed by hyperpolymath
Failure main
main
Failure
feat(provers): close Phase 3 — 6 real-algebraic + connection-method +… .github/workflows/cargo-audit.yml #65: Commit dec54bf pushed by hyperpolymath
Failure main
main
Failure
docs(verification): stage E10 PO-12 strong maximality (proof attempt) .github/workflows/cargo-audit.yml #64: Commit c7e8a09 pushed by hyperpolymath
Failure main
main
Failure
docs(verification): tighten E13 PR-14 + add E10 descent-measure groun… .github/workflows/cargo-audit.yml #63: Commit 864dbad pushed by hyperpolymath
Failure main
main
Failure
feat(data/synonyms): seed first 27 tactic-synonym entries .github/workflows/cargo-audit.yml #62: Commit 8fc8615 pushed by hyperpolymath
Failure main
main
Failure
feat(gnn): activate closed-loop scoring at agent → tactic-suggestion … .github/workflows/cargo-audit.yml #61: Commit 5fdff1c pushed by hyperpolymath
Failure main
main
Failure
feat(gnn): thread domain_hints through GnnGuidedSearch — activate wei… .github/workflows/cargo-audit.yml #60: Commit abd2215 pushed by hyperpolymath
Failure main
main
Failure
feat(fault-tolerance): health monitoring, NeSy validation, fallback SLA .github/workflows/cargo-audit.yml #59: Commit 11bc8a6 pushed by hyperpolymath
Failure main
main
Failure
feat(gnn): close the training feedback loop — StatisticsTracker → Julia .github/workflows/cargo-audit.yml #58: Commit e4bf4c7 pushed by hyperpolymath
Failure main
main
Failure
feat(integration): wire MetaController into AgentCore + server .github/workflows/cargo-audit.yml #57: Commit caeb9e8 pushed by hyperpolymath
Failure main
main
Failure
feat(meta-controller): wire Phase 2b CAS backends into registry + rou… .github/workflows/cargo-audit.yml #56: Commit aa7ada0 pushed by hyperpolymath
Failure main
main
Failure
feat(coprocessor): Phase 2b — 5 subprocess CAS backends .github/workflows/cargo-audit.yml #55: Commit daa5bdf pushed by hyperpolymath
Failure main
main
Failure