Skip to content

Actions: hyperpolymath/arghda-core

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
100 workflow runs
100 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(labels): estate label tooling + auto-triage for new issues (#59) Rust CI #100: Commit 9464323 pushed by hyperpolymath
13s main
main
13s
feat(labels): estate label tooling + auto-triage for new issues Rust CI #99: Pull request #59 synchronize by hyperpolymath
56s automated/label-tooling
automated/label-tooling
56s
feat(labels): estate label tooling + auto-triage for new issues Rust CI #98: Pull request #59 synchronize by hyperpolymath
46m 45s automated/label-tooling
automated/label-tooling
46m 45s
feat(labels): estate label tooling + auto-triage for new issues Rust CI #97: Pull request #59 opened by hyperpolymath
3m 59s automated/label-tooling
automated/label-tooling
3m 59s
refactor: migrate Markdown to AsciiDoc (#58) Rust CI #96: Commit 59538cf pushed by hyperpolymath
21m 46s main
main
21m 46s
refactor: migrate Markdown to AsciiDoc Rust CI #95: Pull request #58 opened by hyperpolymath
21m 35s refactor/md-to-adoc
refactor/md-to-adoc
21m 35s
feat(security): add gitleaks secret scanning — this repo had none (#57) Rust CI #94: Commit 8bffc43 pushed by hyperpolymath
11s main
main
11s
feat(security): add gitleaks secret scanning — this repo had none Rust CI #93: Pull request #57 opened by hyperpolymath
19s feat/secret-scanning
feat/secret-scanning
19s
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest Rust CI #92: Pull request #56 opened by hyperpolymath
24m 18s chore/estate-topup
chore/estate-topup
24m 18s
docs: stop describing two deleted CI workflows as live (#55) Rust CI #91: Commit 871e0be pushed by hyperpolymath
29s main
main
29s
docs: stop describing two deleted CI workflows as live Rust CI #90: Pull request #55 opened by hyperpolymath
43s docs/retire-blocker-workflow-references
docs/retire-blocker-workflow-references
43s
Sync local commits to main (#54) Rust CI #89: Commit 29f50b6 pushed by hyperpolymath
30m 41s main
main
30m 41s
Sync local commits to main Rust CI #88: Pull request #54 opened by hyperpolymath
17m 4s sync-local-updates-1784830498
sync-local-updates-1784830498
17m 4s
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