Skip to content

Actions: hyperpolymath/arghda-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 M10: Mizar adapter — heavy tail complete (a real verify, not detect-only) CodeQL Security Analysis #13: Pull request #46 opened by hyperpolymath
40s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
40s
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… CodeQL Security Analysis #12: Commit b0697cb pushed by hyperpolymath
38s main
main
38s
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 M9: Isabelle/HOL adapter — second heavy-tail backend (foundation-first) CodeQL Security Analysis #11: Pull request #45 opened by hyperpolymath
45s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
45s
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… Rust CI #69: Commit 402f663 pushed by hyperpolymath
39s main
main
39s
ArghDA M8: Coq/Rocq adapter — first heavy-tail backend (foundation-fi… CodeQL Security Analysis #10: Commit 402f663 pushed by hyperpolymath
43s main
main
43s
ArghDA M8: Coq/Rocq adapter — first heavy-tail backend (foundation-first) CodeQL Security Analysis #9: Pull request #44 opened by hyperpolymath
1m 2s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
1m 2s
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 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 (… CodeQL Security Analysis #8: Commit 0aa9ff2 pushed by hyperpolymath
36s main
main
36s
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 M3 follow-on: workspace-fed verdicts + staleness in reason CodeQL Security Analysis #7: Pull request #43 opened by hyperpolymath
47s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
47s
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→Prov… Rust CI #65: Commit 58e2e91 pushed by hyperpolymath
30s main
main
30s
ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Prov… CodeQL Security Analysis #6: Commit 58e2e91 pushed by hyperpolymath
40s main
main
40s
ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Proven CodeQL Security Analysis #5: Pull request #42 opened by hyperpolymath
40s claude/arghda-roadmap-planning-p5mu93
claude/arghda-roadmap-planning-p5mu93
40s
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