Skip to content

Actions: hyperpolymath/a2ml-rs

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
46 workflow runs
46 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
ci: restore Dependabot security path + wire auto-merge Code Quality #46: Commit 32fe55f pushed by hyperpolymath
5m 48s main
main
5m 48s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Code Quality #45: Commit 00d4a4a pushed by hyperpolymath
20m 22s main
main
20m 22s
fix(rhodibot): automated RSR compliance fixes (#4) Code Quality #44: Commit b351562 pushed by hyperpolymath
21s main
main
21s
fix(rhodibot): automated RSR compliance fixes Code Quality #43: Pull request #4 opened by hyperpolymath
25s rhodibot/rsr-compliance-20260413
rhodibot/rsr-compliance-20260413
25s
fix(rhodibot): automated RSR compliance fixes (#3) Code Quality #42: Commit 5028d55 pushed by hyperpolymath
56s main
main
56s
fix(rhodibot): automated RSR compliance fixes Code Quality #41: Pull request #3 opened by hyperpolymath
35s rhodibot/rsr-compliance-20260406
rhodibot/rsr-compliance-20260406
35s
chore: M5 CI/Workflow Sweep - final synchronisation Code Quality #40: Commit 206857a pushed by hyperpolymath
39m 29s main
main
39m 29s
chore: automated sync of local changes Code Quality #39: Commit 35f3a46 pushed by hyperpolymath
8m 41s main
main
8m 41s
docs: replace template README with a2ml-rs project content Code Quality #38: Commit 7441db6 pushed by hyperpolymath
19s main
main
19s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Code Quality #37: Commit 655bf56 pushed by hyperpolymath
1h 33m 56s main
main
1h 33m 56s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Code Quality #36: Commit ef70ab2 pushed by hyperpolymath
4m 13s main
main
4m 13s
feat(crg): add crg-grade and crg-badge justfile recipes Code Quality #35: Commit 89df576 pushed by hyperpolymath
5h 7m 28s main
main
5h 7m 28s
docs: add CHANGELOG entry for session 9 test enhancements Code Quality #34: Commit 765de77 pushed by hyperpolymath
5h 14m 27s main
main
5h 14m 27s
docs: update TEST-NEEDS.md with session 9 bench additions Code Quality #33: Commit 977b1d6 pushed by hyperpolymath
5h 2m 29s main
main
5h 2m 29s
bench: add attestation and directive benchmarks to a2ml bench suite Code Quality #32: Commit 2d029fe pushed by hyperpolymath
5h 10m 5s main
main
5h 10m 5s
chore: add eclexiaiser-validate job to dogfood gate Code Quality #31: Commit 93009eb pushed by hyperpolymath
4h 4m 20s main
main
4h 4m 20s
chore: add eclexiaiser.toml energy-cost manifest Code Quality #30: Commit 5b98f67 pushed by hyperpolymath
2h 16m 44s main
main
2h 16m 44s
docs: add TOPOLOGY.md Code Quality #29: Commit b87ecbc pushed by hyperpolymath
2h 10m 16s main
main
2h 10m 16s
feat: add idrisiser Idris2 proof wrappers for A2ML parser Code Quality #28: Commit 9dcf569 pushed by hyperpolymath
2h 15m 25s main
main
2h 15m 25s
chore: add k9iser.toml (Batch 2A) Code Quality #27: Commit c1649a0 pushed by hyperpolymath
2h 49m 26s main
main
2h 49m 26s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Code Quality #26: Commit d96bbc4 pushed by hyperpolymath
1h 37m 17s main
main
1h 37m 17s
docs: substantive CRG C annotation (EXPLAINME.adoc) Code Quality #25: Commit 9afb96f pushed by hyperpolymath
8m 32s main
main
8m 32s
fix(rhodibot): automated RSR compliance fixes Code Quality #24: Pull request #2 opened by hyperpolymath
17s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
17s
Add casket pages workflow Code Quality #23: Commit 6161197 pushed by hyperpolymath
1h 15m 14s main
main
1h 15m 14s
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit Code Quality #22: Commit 43ea3fc pushed by hyperpolymath
1m 35s main
main
1m 35s