Skip to content

Actions: hyperpolymath/arghda-core

Actions

Push email notification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-email-notify.yml
52 workflow runs
52 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
ArghDA multi-prover roadmap: residuals analysis & M10 completion (#53) Push email notification #52: Commit 671ae19 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: update STATE.a2ml to reflect M10 100% completion Push email notification #51: Commit 72e151f pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M9 follow-on: Isabelle session-qualified imports (M9 → 98%) (#52) Push email notification #50: Commit 3fb48ed pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M9 follow-on: Isabelle session-qualified imports (M9 → 98%) Push email notification #49: Commit 44332e5 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M10 follow-on: Mizar local-article cross-references (M10 → 95%… Push email notification #48: Commit da34183 pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M10 follow-on: Mizar local-article cross-references (M10 → 95%) Push email notification #47: Commit c23ca77 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M8 follow-on: dependency-ordered Coq compilation (M8 → 97%) (#50) Push email notification #46: Commit ad7d949 pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M8 follow-on: dependency-ordered Coq compilation (M8 → 97%) Push email notification #45: Commit a3b06f8 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M7: investigation — Echidna client blocked, honest stub stays … Push email notification #44: Commit 27bbca0 pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M7: investigation — Echidna client blocked, honest stub stays … Push email notification #43: Commit 50ee3e2 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M4 follow-on: Idris2 totality-hole + partial lint (M4 → 100%) … Push email notification #42: Commit bd7bb5f pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M4 follow-on: Idris2 totality-hole + partial lint (M4 → 100%) Push email notification #41: Commit 9374856 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M6 follow-on: lake-env import resolution (M6 → 100%) (#47) Push email notification #40: Commit b944e39 pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M6 follow-on: lake-env import resolution (M6 → 100%) Push email notification #39: Commit 1c283d0 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M10: Mizar adapter — heavy tail complete (a real verify, not d… Push email notification #38: Commit d61ae75 pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M10: Mizar adapter — heavy tail complete (a real verify, not d… Push email notification #37: Commit 057ed3a pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M9: Isabelle/HOL adapter — second heavy-tail backend (foundati… Push email notification #36: Commit b0697cb pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M9: Isabelle/HOL adapter — second heavy-tail backend (foundati… Push email notification #35: Commit 5af93db pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M8: Coq/Rocq adapter — first heavy-tail backend (foundation-fi… Push email notification #34: Commit 402f663 pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M8: Coq/Rocq adapter — first heavy-tail backend (foundation-fi… Push email notification #33: Commit f41f8ee pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M3 follow-on: workspace-fed verdicts + staleness in reason (… Push email notification #32: Commit 0aa9ff2 pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M3 follow-on: workspace-fed verdicts + staleness in reason Push email notification #31: Commit f61876d pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Prov… Push email notification #30: Commit 58e2e91 pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Proven Push email notification #29: Commit d6983a8 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M4 follow-on: Idris2 .ipkg-declared roots (#41) Push email notification #28: Commit 4f4a9f5 pushed by hyperpolymath
Startup failure main
main
Startup failure