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
This workflow was disabled manually.
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 M4 follow-on: Idris2 .ipkg-declared roots Push email notification #27: Commit bdeb404 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M7: Echidna dispatch seam — completes the engine-spine deliver… Push email notification #26: Commit e4fba04 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: add estate-standard CodeQL workflow (unblocks code-scanning merge… Push email notification #25: Commit cbad288 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M7: Echidna dispatch seam — completes the engine-spine deliver… Push email notification #24: Commit ca59438 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M11: studio JSON freeze (reason/0.1) + Groove discovery manife… Push email notification #23: Commit b2f4c14 pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M11: studio JSON freeze (reason/0.1) + Groove discovery manifest Push email notification #22: Commit 936dd9d pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M6: Lean4 backend + honest cross-backend check verdicts (#38) Push email notification #21: Commit d966f2e pushed by hyperpolymath
-1s main
main
-1s
ArghDA M6: Lean4 backend + honest cross-backend check verdicts Push email notification #20: Commit be758bd pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M0 complete: arghda doctor — honest backend availability pro… Push email notification #19: Commit 25e38ba pushed by hyperpolymath
Startup failure main
main
Startup failure
ArghDA M0 complete: arghda doctor — honest backend availability probe Push email notification #18: Commit 143faa2 pushed by hyperpolymath
Startup failure claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
Startup failure
ArghDA M2: Cubical-Agda backend — the flag-profile island (#36) Push email notification #17: Commit 6bbae97 pushed by hyperpolymath
1s main
main
1s
ArghDA M2: Cubical-Agda backend — the flag-profile island Push email notification #16: Commit 7626821 pushed by hyperpolymath
2s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
2s
ArghDA M5: SMT solver backends (Z3, CVC5) — the Solver kind goes live… Push email notification #15: Commit 21f306b pushed by hyperpolymath
10s main
main
10s
ArghDA M5: SMT solver backends (Z3, CVC5) — the Solver kind goes live Push email notification #14: Commit a94670f pushed by hyperpolymath
1s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
1s
ArghDA M4: Idris2 backend + --backend selector — genuinely multi-back… Push email notification #13: Commit 315464b pushed by hyperpolymath
1s main
main
1s
ArghDA M4: Idris2 backend + --backend selector — genuinely multi-backend Push email notification #12: Commit 4566106 pushed by hyperpolymath
1s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
1s
ArghDA M4: Idris2 backend + --backend selector — genuinely multi-backend Push email notification #11: Commit abea39a pushed by hyperpolymath
1s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
1s
ArghDA M3: Flying-Logic reasoning graph — demote-only verdict propaga… Push email notification #10: Commit 417b011 pushed by hyperpolymath
1s main
main
1s
ArghDA M3: Flying-Logic reasoning graph — demote-only verdict propaga… Push email notification #9: Commit ee67b85 pushed by hyperpolymath
1s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
1s
ArghDA M1: Backend abstraction — make the engine prover-parametric (#32) Push email notification #8: Commit 75eac52 pushed by hyperpolymath
1s main
main
1s
ArghDA M1: Backend abstraction — make the engine prover-parametric Push email notification #7: Commit 203fc00 pushed by hyperpolymath
1s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
1s
ArghDA → Flying Logic for provers/solvers: M0 (toolchain provisioning… Push email notification #6: Commit f3ff6f9 pushed by hyperpolymath
Skipped main
main
Skipped
feat(provision): pinned multi-prover/solver toolchain provisioning + … Push email notification #5: Commit 7631cd5 pushed by hyperpolymath
1s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
1s
Push email notification Push email notification #4: by hyperpolymath
11s main
main
11s
docs(readme): convert README.adoc -> Markdown README.md Push email notification #3: Commit 56dd69c pushed by hyperpolymath
9s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
9s