Skip to content

Actions: hyperpolymath/echidna

Actions

.github/workflows/secret-scanner.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
secret-scanner.yml
524 workflow runs
524 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(readme): update prover count 48→128 and test count 613→917 .github/workflows/secret-scanner.yml #524: Commit 8d0d9e7 pushed by hyperpolymath
Failure main
main
Failure
chore(state): record 2026-04-27 audit + cleanup session .github/workflows/secret-scanner.yml #523: Commit 1ccee56 pushed by hyperpolymath
Failure main
main
Failure
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) .github/workflows/secret-scanner.yml #522: Commit 52daa4a pushed by hyperpolymath
Failure main
main
Failure
feat(l3-wave3): complete Wave-3 Tier-3 container infrastructure (9 ba… .github/workflows/secret-scanner.yml #521: Commit a87fae1 pushed by hyperpolymath
Failure main
main
Failure
feat(spark): Stage 8c-M3 — outer-loop invariant, CI hard gate .github/workflows/secret-scanner.yml #520: Commit 45d1de0 pushed by hyperpolymath
Failure main
main
Failure
feat(spark): Stage 8c-M2 — live compute contract + pure dominates + i… .github/workflows/secret-scanner.yml #519: Commit b9c06fd pushed by hyperpolymath
Failure main
main
Failure
feat(spark): Stage 8c — live Creusot contracts + weighted_rank + CI (… .github/workflows/secret-scanner.yml #518: Commit 7c02c2e pushed by hyperpolymath
Failure main
main
Failure
feat(suggest): implement suggest_tactics for Abella, KeYmaeraX, EasyC… .github/workflows/secret-scanner.yml #517: Commit fb3db5a pushed by hyperpolymath
Failure main
main
Failure
feat(suggest): implement echidna suggest CLI verb — mechanical tactic… .github/workflows/secret-scanner.yml #516: Commit 133e31b pushed by hyperpolymath
Failure main
main
Failure
feat(provers): close Phase 4 — 6 DL/probabilistic/B-method/comp-crypt… .github/workflows/secret-scanner.yml #515: Commit 94002d0 pushed by hyperpolymath
Failure main
main
Failure
feat(provers): close Phase 3 — 6 real-algebraic + connection-method +… .github/workflows/secret-scanner.yml #514: Commit dec54bf pushed by hyperpolymath
Failure main
main
Failure
docs(verification): stage E10 PO-12 strong maximality (proof attempt) .github/workflows/secret-scanner.yml #513: Commit c7e8a09 pushed by hyperpolymath
Failure main
main
Failure
docs(verification): tighten E13 PR-14 + add E10 descent-measure groun… .github/workflows/secret-scanner.yml #512: Commit 864dbad pushed by hyperpolymath
Failure main
main
Failure
feat(data/synonyms): seed first 27 tactic-synonym entries .github/workflows/secret-scanner.yml #511: Commit 8fc8615 pushed by hyperpolymath
Failure main
main
Failure
feat(gnn): activate closed-loop scoring at agent → tactic-suggestion … .github/workflows/secret-scanner.yml #510: Commit 5fdff1c pushed by hyperpolymath
Failure main
main
Failure
feat(gnn): thread domain_hints through GnnGuidedSearch — activate wei… .github/workflows/secret-scanner.yml #509: Commit abd2215 pushed by hyperpolymath
Failure main
main
Failure
feat(fault-tolerance): health monitoring, NeSy validation, fallback SLA .github/workflows/secret-scanner.yml #508: Commit 11bc8a6 pushed by hyperpolymath
Failure main
main
Failure
feat(gnn): close the training feedback loop — StatisticsTracker → Julia .github/workflows/secret-scanner.yml #507: Commit e4bf4c7 pushed by hyperpolymath
Failure main
main
Failure
feat(integration): wire MetaController into AgentCore + server .github/workflows/secret-scanner.yml #506: Commit caeb9e8 pushed by hyperpolymath
Failure main
main
Failure
feat(meta-controller): wire Phase 2b CAS backends into registry + rou… .github/workflows/secret-scanner.yml #505: Commit aa7ada0 pushed by hyperpolymath
Failure main
main
Failure
feat(coprocessor): Phase 2b — 5 subprocess CAS backends .github/workflows/secret-scanner.yml #504: Commit daa5bdf pushed by hyperpolymath
Failure main
main
Failure
feat(provers): Phase 5 — GNATprove + Stainless + Liquid Haskell + ffi… .github/workflows/secret-scanner.yml #503: Commit 275f97f pushed by hyperpolymath
Failure main
main
Failure
feat(meta-controller): Phase 7 — Pareto + Bayesian routing across (pr… .github/workflows/secret-scanner.yml #502: Commit 83bc21b pushed by hyperpolymath
Failure main
main
Failure
feat(coprocessor): Phase 6B — Dsp + Io + Graphics + Audio + Fpga back… .github/workflows/secret-scanner.yml #501: Commit 603cda5 pushed by hyperpolymath
Failure main
main
Failure
fix(provers): commit orphan tptp_output.rs — required by 4 HO-ATPs .github/workflows/secret-scanner.yml #500: Commit 1ad49f8 pushed by hyperpolymath
Failure main
main
Failure