Skip to content

Actions: hyperpolymath/k9-rs

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
47 workflow runs
47 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
Standardize workspace: Track Bust contractile artifacts Code Quality #47: Commit 03791e1 pushed by hyperpolymath
5h 5m 12s main
main
5h 5m 12s
chore(contractiles): add bust/ + relocate k9 to svc/ Code Quality #46: Commit 6063aeb pushed by hyperpolymath
4h 52m 9s main
main
4h 52m 9s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Code Quality #45: Commit 0f179a7 pushed by hyperpolymath
3h 38m 2s main
main
3h 38m 2s
Standardize workspace: Capitalize Justfile references in scripts and … Code Quality #44: Commit 66e8bfc pushed by hyperpolymath
2h 34m 5s main
main
2h 34m 5s
chore: fill empty .tool-versions from drift inventory (2026-04-17) Code Quality #43: Commit 1fc4c5c pushed by hyperpolymath
11m 20s main
main
11m 20s
ci: restore Dependabot security path + wire auto-merge Code Quality #42: Commit b9a5b43 pushed by hyperpolymath
1h 24m 5s main
main
1h 24m 5s
chore: sync local state Code Quality #41: Commit bb7a56d pushed by hyperpolymath
35m 51s main
main
35m 51s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Code Quality #40: Commit 788617b pushed by hyperpolymath
37m 53s main
main
37m 53s
fix(rhodibot): automated RSR compliance fixes Code Quality #39: Pull request #4 opened by hyperpolymath
16s rhodibot/rsr-compliance-20260413
rhodibot/rsr-compliance-20260413
16s
fix(rhodibot): automated RSR compliance fixes Code Quality #38: Commit 3f66b50 pushed by hyperpolymath
1m 7s main
main
1m 7s
fix(rhodibot): automated RSR compliance fixes Code Quality #37: Pull request #3 opened by hyperpolymath
21s rhodibot/rsr-compliance-20260406
rhodibot/rsr-compliance-20260406
21s
chore: M5 CI/Workflow Sweep - final synchronisation Code Quality #36: Commit 4819ee5 pushed by hyperpolymath
41m 42s main
main
41m 42s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just Code Quality #35: Commit bcae59b pushed by hyperpolymath
15m 2s main
main
15m 2s
docs: replace template README and EXPLAINME with k9-rs project content Code Quality #34: Commit 83ef754 pushed by hyperpolymath
13s main
main
13s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Code Quality #33: Commit 434c364 pushed by hyperpolymath
1h 45m 59s main
main
1h 45m 59s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Code Quality #32: Commit fbeda3f pushed by hyperpolymath
52m 6s main
main
52m 6s
chore(contractiles): add k9-svc-validation workflow and A2ML contract… Code Quality #31: Commit 439ec14 pushed by hyperpolymath
1m 57s main
main
1m 57s
feat(crg): add crg-grade and crg-badge justfile recipes Code Quality #30: Commit 98e0e33 pushed by hyperpolymath
5h 49m 19s main
main
5h 49m 19s
chore: add eclexiaiser-validate job to dogfood gate Code Quality #29: Commit c7b9a4c pushed by hyperpolymath
4h 29m 9s main
main
4h 29m 9s
chore: add eclexiaiser.toml energy-cost manifest Code Quality #28: Commit 354e2c0 pushed by hyperpolymath
3h 52m 20s main
main
3h 52m 20s
docs: add TOPOLOGY.md Code Quality #27: Commit 82e36cd pushed by hyperpolymath
2h 25m 4s main
main
2h 25m 4s
feat: add idrisiser Idris2 proof wrappers for K9 contract validator Code Quality #26: Commit 858513d pushed by hyperpolymath
2h 11m 14s main
main
2h 11m 14s
chore: add k9iser.toml (Batch 2A) Code Quality #25: Commit ed4096f pushed by hyperpolymath
2h 48m 36s main
main
2h 48m 36s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Code Quality #24: Commit 3199fa3 pushed by hyperpolymath
1h 11m 11s main
main
1h 11m 11s
docs: add TEST-NEEDS.md (CRG C) Code Quality #23: Commit 85754ae pushed by hyperpolymath
31m 57s main
main
31m 57s