Skip to content

Actions: hyperpolymath/a2ml-rs

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
27 workflow runs
27 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
fix(rust): replace .expect("TODO") in parser.rs (1 prod + 6 tests) GitHub Pages #27: Commit 333181f pushed by hyperpolymath
41s main
main
41s
Standardize workspace: Track Bust contractile artifacts GitHub Pages #26: Commit 73da811 pushed by hyperpolymath
6h 29m 14s main
main
6h 29m 14s
chore(contractiles): add bust/ + relocate k9 to svc/ GitHub Pages #25: Commit 3261177 pushed by hyperpolymath
11m 41s main
main
11m 41s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… GitHub Pages #24: Commit b7bfbbc pushed by hyperpolymath
26m 35s main
main
26m 35s
Standardize workspace: Capitalize Justfile references in scripts and … GitHub Pages #23: Commit de72ef1 pushed by hyperpolymath
2h 26m 52s main
main
2h 26m 52s
chore: fill empty .tool-versions from drift inventory (2026-04-17) GitHub Pages #22: Commit 54fce11 pushed by hyperpolymath
7m 47s main
main
7m 47s
ci: restore Dependabot security path + wire auto-merge GitHub Pages #21: Commit 32fe55f pushed by hyperpolymath
5m 30s main
main
5m 30s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback GitHub Pages #20: Commit 00d4a4a pushed by hyperpolymath
22m 59s main
main
22m 59s
fix(rhodibot): automated RSR compliance fixes (#4) GitHub Pages #19: Commit b351562 pushed by hyperpolymath
42s main
main
42s
fix(rhodibot): automated RSR compliance fixes (#3) GitHub Pages #18: Commit 5028d55 pushed by hyperpolymath
53s main
main
53s
chore: M5 CI/Workflow Sweep - final synchronisation GitHub Pages #17: Commit 206857a pushed by hyperpolymath
40m 1s main
main
40m 1s
chore: automated sync of local changes GitHub Pages #16: Commit 35f3a46 pushed by hyperpolymath
9m 15s main
main
9m 15s
docs: replace template README with a2ml-rs project content GitHub Pages #15: Commit 7441db6 pushed by hyperpolymath
50s main
main
50s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… GitHub Pages #14: Commit 655bf56 pushed by hyperpolymath
1h 36m 28s main
main
1h 36m 28s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred GitHub Pages #13: Commit ef70ab2 pushed by hyperpolymath
3m 23s main
main
3m 23s
feat(crg): add crg-grade and crg-badge justfile recipes GitHub Pages #12: Commit 89df576 pushed by hyperpolymath
6h 50m 15s main
main
6h 50m 15s
docs: add CHANGELOG entry for session 9 test enhancements GitHub Pages #11: Commit 765de77 pushed by hyperpolymath
43m 47s main
main
43m 47s
docs: update TEST-NEEDS.md with session 9 bench additions GitHub Pages #10: Commit 977b1d6 pushed by hyperpolymath
1m 23s main
main
1m 23s
bench: add attestation and directive benchmarks to a2ml bench suite GitHub Pages #9: Commit 2d029fe pushed by hyperpolymath
23m 8s main
main
23m 8s
chore: add eclexiaiser-validate job to dogfood gate GitHub Pages #8: Commit 93009eb pushed by hyperpolymath
8m 20s main
main
8m 20s
chore: add eclexiaiser.toml energy-cost manifest GitHub Pages #7: Commit 5b98f67 pushed by hyperpolymath
5h 13m 11s main
main
5h 13m 11s
docs: add TOPOLOGY.md GitHub Pages #6: Commit b87ecbc pushed by hyperpolymath
33m 2s main
main
33m 2s
feat: add idrisiser Idris2 proof wrappers for A2ML parser GitHub Pages #5: Commit 9dcf569 pushed by hyperpolymath
15m 9s main
main
15m 9s
chore: add k9iser.toml (Batch 2A) GitHub Pages #4: Commit c1649a0 pushed by hyperpolymath
2h 54m 35s main
main
2h 54m 35s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks GitHub Pages #3: Commit d96bbc4 pushed by hyperpolymath
1h 41m 15s main
main
1h 41m 15s