Skip to content

Actions: hyperpolymath/typell

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
129 workflow runs
129 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
chore: fill empty .tool-versions from drift inventory (2026-04-17) Rust CI #29: Commit 6bb7c8d pushed by hyperpolymath
Failure main
main
Failure
ci: restore Dependabot security path + wire auto-merge Rust CI #28: Commit 96810df pushed by hyperpolymath
Failure main
main
Failure
chore: sync local state Rust CI #27: Commit 8b1d02e pushed by hyperpolymath
Failure main
main
Failure
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Rust CI #26: Commit 40353ac pushed by hyperpolymath
Failure main
main
Failure
chore: M5 CI/Workflow Sweep - final synchronisation Rust CI #25: Commit a270e35 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' of github.com:hyperpolymath/typell Rust CI #24: Commit f35b969 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump rand in the cargo group across 1 directory Rust CI #23: Commit 66b76ca pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump rand in the cargo group across 1 directory Rust CI #22: Commit a992100 pushed by dependabot Bot
Failure dependabot/cargo/cargo-2cb957d483
dependabot/cargo/cargo-2cb957d483
Failure
docs(adr): add ADR-0002 reversibility as typing case study Rust CI #21: Commit 3d95018 pushed by hyperpolymath
Failure main
main
Failure
docs(roadmap): link tropical-resource-typing completion to 007 + kata… Rust CI #20: Commit a963d8c pushed by hyperpolymath
Failure main
main
Failure
docs(abi): propagate open-ended progressive framing to source-level c… Rust CI #19: Commit a5efd0b pushed by hyperpolymath
Failure main
main
Failure
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Rust CI #18: Commit 619ac8e pushed by hyperpolymath
Failure main
main
Failure
docs(ecosystem): add nextgen-typing, katagoria, and typed-wasm pipeli… Rust CI #17: Commit 8c44545 pushed by hyperpolymath
Failure main
main
Failure
docs(roadmap): reframe TypeLL as open-ended progressive, not capped a… Rust CI #16: Commit 1652c42 pushed by hyperpolymath
Failure main
main
Failure
refactor(rename): VQL → VCL + verisimdb → verisim Rust CI #15: Commit 2936952 pushed by hyperpolymath
Failure main
main
Failure
feat(crg): add crg-grade and crg-badge justfile recipes Rust CI #14: Commit 1683c27 pushed by hyperpolymath
-1s main
main
-1s
feat(crg): add Current Grade badge anchor to READINESS.md Rust CI #13: Commit 5b9474b pushed by hyperpolymath
Failure main
main
Failure
chore: remove orphaned workspace-level bench file Rust CI #12: Commit bc81af8 pushed by hyperpolymath
Failure main
main
Failure
test: add criterion benchmarks for TypeLL core verification kernel Rust CI #11: Commit 9a843d8 pushed by hyperpolymath
Failure main
main
Failure
fix: set correct Groove capability type (was: custom) Rust CI #10: Commit d8fd2ce pushed by hyperpolymath
Failure main
main
Failure
chore: add eclexiaiser-validate job to dogfood gate Rust CI #9: Commit f072b09 pushed by hyperpolymath
Failure main
main
Failure
chore: gitignore wokelangiser i18n files (too large for GitHub) Rust CI #8: Commit 6bca0f4 pushed by hyperpolymath
Failure main
main
Failure
docs: add M2 estate audit report (2026-04-04) Rust CI #7: Commit 2c6acd5 pushed by hyperpolymath
Failure main
main
Failure
feat: add wokelangiser accessibility+consent manifest Rust CI #6: Commit 737a060 pushed by hyperpolymath
Failure main
main
Failure
chore: add eclexiaiser.toml energy-cost manifest Rust CI #5: Commit cc4c05e pushed by hyperpolymath
Failure main
main
Failure