Skip to content

Actions: hyperpolymath/arghda-core

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
87 workflow runs
87 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) Rust CI #87: Commit 671ae19 pushed by hyperpolymath
36s main
main
36s
ArghDA multi-prover roadmap: residuals analysis & M10 completion Rust CI #86: Pull request #53 opened by hyperpolymath
29s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
29s
ArghDA M9 follow-on: Isabelle session-qualified imports (M9 → 98%) (#52) Rust CI #85: Commit 3fb48ed pushed by hyperpolymath
43s main
main
43s
ArghDA M9 follow-on: Isabelle session-qualified imports (M9 → 98%) Rust CI #84: Pull request #52 opened by hyperpolymath
49s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
49s
ArghDA M10 follow-on: Mizar local-article cross-references (M10 → 95%… Rust CI #83: Commit da34183 pushed by hyperpolymath
29s main
main
29s
ArghDA M10 follow-on: Mizar local-article cross-references (M10 → 95%) Rust CI #82: Pull request #51 opened by hyperpolymath
42s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
42s
ArghDA M8 follow-on: dependency-ordered Coq compilation (M8 → 97%) (#50) Rust CI #81: Commit ad7d949 pushed by hyperpolymath
53s main
main
53s
ArghDA M8 follow-on: dependency-ordered Coq compilation (M8 → 97%) Rust CI #80: Pull request #50 opened by hyperpolymath
1m 9s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
1m 9s
ArghDA M7: investigation — Echidna client blocked, honest stub stays … Rust CI #79: Commit 27bbca0 pushed by hyperpolymath
42s main
main
42s
ArghDA M7: investigation — Echidna client blocked, honest stub stays (docs) Rust CI #78: Pull request #49 opened by hyperpolymath
26s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
26s
ArghDA M4 follow-on: Idris2 totality-hole + partial lint (M4 → 100%) … Rust CI #77: Commit bd7bb5f pushed by hyperpolymath
34s main
main
34s
ArghDA M4 follow-on: Idris2 totality-hole + partial lint (M4 → 100%) Rust CI #76: Pull request #48 opened by hyperpolymath
37s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
37s
ArghDA M6 follow-on: lake-env import resolution (M6 → 100%) (#47) Rust CI #75: Commit b944e39 pushed by hyperpolymath
39s main
main
39s
ArghDA M6 follow-on: lake-env import resolution (M6 → 100%) Rust CI #74: Pull request #47 opened by hyperpolymath
31s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
31s
ArghDA M10: Mizar adapter — heavy tail complete (a real verify, not d… Rust CI #73: Commit d61ae75 pushed by hyperpolymath
34s main
main
34s
ArghDA M10: Mizar adapter — heavy tail complete (a real verify, not detect-only) Rust CI #72: Pull request #46 opened by hyperpolymath
36s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
36s
ArghDA M9: Isabelle/HOL adapter — second heavy-tail backend (foundati… Rust CI #71: Commit b0697cb pushed by hyperpolymath
1m 12s main
main
1m 12s
ArghDA M9: Isabelle/HOL adapter — second heavy-tail backend (foundation-first) Rust CI #70: Pull request #45 opened by hyperpolymath
29s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
29s
ArghDA M8: Coq/Rocq adapter — first heavy-tail backend (foundation-fi… Rust CI #69: Commit 402f663 pushed by hyperpolymath
39s main
main
39s
ArghDA M8: Coq/Rocq adapter — first heavy-tail backend (foundation-first) Rust CI #68: Pull request #44 opened by hyperpolymath
53s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
53s
ArghDA M3 follow-on: workspace-fed verdicts + staleness in reason (… Rust CI #67: Commit 0aa9ff2 pushed by hyperpolymath
29s main
main
29s
ArghDA M3 follow-on: workspace-fed verdicts + staleness in reason Rust CI #66: Pull request #43 opened by hyperpolymath
31s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
31s
ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Prov… Rust CI #65: Commit 58e2e91 pushed by hyperpolymath
30s main
main
30s
ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Proven Rust CI #64: Pull request #42 opened by hyperpolymath
26s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
26s
ArghDA M4 follow-on: Idris2 .ipkg-declared roots (#41) Rust CI #63: Commit 4f4a9f5 pushed by hyperpolymath
37s main
main
37s