Skip to content

Actions: hyperpolymath/k9-rs

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

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