Skip to content

Actions: hyperpolymath/echidna

Actions

.github/workflows/workflow-linter.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow-linter.yml
430 workflow runs
430 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
feat(integration): wire MetaController into AgentCore + server .github/workflows/workflow-linter.yml #430: Commit caeb9e8 pushed by hyperpolymath
Failure main
main
Failure
feat(meta-controller): wire Phase 2b CAS backends into registry + rou… .github/workflows/workflow-linter.yml #429: Commit aa7ada0 pushed by hyperpolymath
Failure main
main
Failure
feat(coprocessor): Phase 2b — 5 subprocess CAS backends .github/workflows/workflow-linter.yml #428: Commit daa5bdf pushed by hyperpolymath
Failure main
main
Failure
feat(provers): Phase 5 — GNATprove + Stainless + Liquid Haskell + ffi… .github/workflows/workflow-linter.yml #427: Commit 275f97f pushed by hyperpolymath
Failure main
main
Failure
feat(meta-controller): Phase 7 — Pareto + Bayesian routing across (pr… .github/workflows/workflow-linter.yml #426: Commit 83bc21b pushed by hyperpolymath
Failure main
main
Failure
feat(coprocessor): Phase 6B — Dsp + Io + Graphics + Audio + Fpga back… .github/workflows/workflow-linter.yml #425: Commit 603cda5 pushed by hyperpolymath
Failure main
main
Failure
fix(provers): commit orphan tptp_output.rs — required by 4 HO-ATPs .github/workflows/workflow-linter.yml #424: Commit 1ad49f8 pushed by hyperpolymath
Failure main
main
Failure
feat(coprocessor): Phase 2a — FLINT FFI CAS backend .github/workflows/workflow-linter.yml #423: Commit cbd9449 pushed by hyperpolymath
Failure main
main
Failure
feat(coprocessor): Phase 6A — Vector + Tensor + Crypto + Physics back… .github/workflows/workflow-linter.yml #422: Commit 9af87ba pushed by hyperpolymath
Failure main
main
Failure
feat(coprocessor): Phase 0 foundation — coprocessor abstraction + met… .github/workflows/workflow-linter.yml #421: Commit 41b26b9 pushed by hyperpolymath
Failure main
main
Failure
feat(prove): EI-1 --project-root + safe-learning-b --sandbox .github/workflows/workflow-linter.yml #420: Commit dcfb334 pushed by hyperpolymath
Failure main
main
Failure
fix(live-provers): complete T2 backend hardening — idris2, lean4, daf… .github/workflows/workflow-linter.yml #419: Commit 3c0b4a2 pushed by hyperpolymath
Failure main
main
Failure
fix(live-provers): harden T2 installer steps — four known nightly fai… .github/workflows/workflow-linter.yml #418: Commit 83a1540 pushed by hyperpolymath
Failure main
main
Failure
docs(handover): update task-status snapshot — Real-Chapel + Dafny + V… .github/workflows/workflow-linter.yml #417: Commit bc03a78 pushed by hyperpolymath
Failure main
main
Failure
chore(l1): record CapnProto.jl decision + all L1 design questions set… .github/workflows/workflow-linter.yml #416: Commit 9ca9c94 pushed by hyperpolymath
Failure main
main
Failure
feat(l1-prep): scaffold all missing L1 Cap'n Proto artifacts .github/workflows/workflow-linter.yml #415: Commit b2a2ff7 pushed by hyperpolymath
Failure main
main
Failure
docs(todo): update TODO with session-2 completions (2026-04-26) .github/workflows/workflow-linter.yml #414: Commit 9baf375 pushed by hyperpolymath
Failure main
main
Failure
chore(ci): bump chapel-ci checkout v4→v6; add Wave-4 per-backend rati… .github/workflows/workflow-linter.yml #413: Commit 1ca9862 pushed by hyperpolymath
Failure main
main
Failure
chore(fuzz): update Cargo.lock for fuzz workspace .github/workflows/workflow-linter.yml #412: Commit 559896d pushed by hyperpolymath
Failure main
main
Failure
chore(meta): nightly triage 2026-04-26 — BLOCKED, manual follow-up re… .github/workflows/workflow-linter.yml #411: Commit c84d43d pushed by hyperpolymath
Failure main
main
Failure
chore(meta): record 2026-04-26 morning nightly triage attempt in STAT… .github/workflows/workflow-linter.yml #410: Commit f376a08 pushed by hyperpolymath
Failure nightly-triage/2026-04-26
nightly-triage/2026-04-26
Failure
feat(live-provers): emit VeriSimDB records from live version-check te… .github/workflows/workflow-linter.yml #409: Commit 13cf817 pushed by hyperpolymath
Failure main
main
Failure
feat(live-provers): emit VeriSimDB records from live version-check te… .github/workflows/workflow-linter.yml #408: Commit 13cf817 pushed by hyperpolymath
Failure main
main
Failure
feat(provers): implement suggest_tactics + search_theorems across Sta… .github/workflows/workflow-linter.yml #407: Commit c56be5e pushed by hyperpolymath
Failure main
main
Failure
feat(extractors): add premise extraction for isabelle/hol4/fstar/agda… .github/workflows/workflow-linter.yml #406: Commit 3a95a2f pushed by hyperpolymath
Failure main
main
Failure