Skip to content

Actions: hyperpolymath/git-reticulator

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
173 workflow runs
173 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
proofs: first Idris2 corpus (order theory) + proof-corpus CI gate Rust CI #73: Pull request #30 by hyperpolymath
Failure claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
Failure
proofs: first Idris2 corpus (order theory) + proof-corpus CI gate Rust CI #72: Pull request #30 by hyperpolymath
-1s claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
-1s
Update issue templates Rust CI #71: Commit 6a6f8b1 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump actions/checkout in the actions group (#24) Rust CI #70: Commit 560face pushed by hyperpolymath
Failure main
main
Failure
feat(ingest): git-history ingestion behind --features git-integration… Rust CI #69: Commit 35a999f pushed by hyperpolymath
Failure main
main
Failure
feat(ingest): git-history ingestion behind --features git-integration Rust CI #68: Pull request #28 by hyperpolymath
Failure claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
Failure
test,bench: exercise the real lattice engine, not the compat shim (#27) Rust CI #67: Commit 0e91507 pushed by hyperpolymath
Failure main
main
Failure
test,bench: exercise the real lattice engine (not the compat shim) Rust CI #66: Pull request #27 by hyperpolymath
Failure claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
Failure
feat: Rust reference lattice core + verisim store + Rust/SPARK compli… Rust CI #65: Commit 6316bf2 pushed by hyperpolymath
Failure main
main
Failure
feat: Rust reference lattice core + verisim store + Rust/SPARK compliance Rust CI #64: Pull request #26 by hyperpolymath
Failure claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
Failure
feat: Rust reference lattice core + verisim store + Rust/SPARK compliance Rust CI #63: Pull request #26 by hyperpolymath
Failure claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
Failure
feat: Rust reference lattice core + verisim store + Rust/SPARK compliance Rust CI #62: Pull request #26 by hyperpolymath
Failure claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
Failure
docs: record AffineScript migration decision + session handoff (#25) Rust CI #61: Commit 40bafa0 pushed by hyperpolymath
Failure main
main
Failure
docs: AffineScript migration decision + session handoff (bridge-first) Rust CI #60: Pull request #25 by hyperpolymath
Failure claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
Failure
chore(deps): bump actions/checkout from 6.0.2 to 6.0.3 in the actions group Rust CI #59: Pull request #24 by dependabot Bot
Failure dependabot/github_actions/actions-6a98abd9ac
dependabot/github_actions/actions-6a98abd9ac
Failure
docs: de-template RSR metadata, complete 6a2 + contractiles, add PROO… Rust CI #58: Commit 3dae78b pushed by hyperpolymath
Failure main
main
Failure
docs: de-template RSR metadata, complete 6a2 + contractiles, add PROOF-NEEDS Rust CI #57: Pull request #23 by hyperpolymath
Failure claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
Failure
docs: de-template RSR metadata, complete 6a2 + contractiles, add PROOF-NEEDS Rust CI #56: Pull request #23 by hyperpolymath
Failure claude/peaceful-meitner-EFJ7I
claude/peaceful-meitner-EFJ7I
Failure
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#22) Rust CI #55: Commit 3b32a98 pushed by hyperpolymath
Failure main
main
Failure
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) Rust CI #54: Pull request #22 by hyperpolymath
Failure ci/repin-orphan-reusable-shas
ci/repin-orphan-reusable-shas
Failure
ci(rust): convert rust-ci.yml to thin wrapper (standards#174) (#20) Rust CI #53: Commit 7d2fd33 pushed by hyperpolymath
Failure main
main
Failure
docs: seed CHANGELOG.md (Keep-a-Changelog format) (#19) Rust CI #52: Commit 6595939 pushed by hyperpolymath
Failure main
main
Failure
docs(readme): expand stub README to full structure (#18) Rust CI #51: Commit 5de1f85 pushed by hyperpolymath
Failure main
main
Failure
docs: record tech-debt audit findings (2026-05-26) (#17) Rust CI #50: Commit 88c4864 pushed by hyperpolymath
Failure main
main
Failure
Chore/hypatia scan reusable wrapper (#21) Rust CI #49: Commit 832a260 pushed by hyperpolymath
Failure main
main
Failure