Skip to content

Actions: hyperpolymath/a2ml-haskell

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
107 workflow runs
107 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(rhodibot): automated RSR compliance fixes (#3) Static Analysis Gate #32: Commit dc53a62 pushed by hyperpolymath
1m 21s main
main
1m 21s
fix(rhodibot): automated RSR compliance fixes Static Analysis Gate #31: Pull request #3 opened by hyperpolymath
1m 21s rhodibot/rsr-compliance-20260406
rhodibot/rsr-compliance-20260406
1m 21s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Static Analysis Gate #30: Commit 75899c4 pushed by hyperpolymath
2h 19m 31s main
main
2h 19m 31s
chore: automated sync of local changes Static Analysis Gate #29: Commit 7848a0d pushed by hyperpolymath
30m 50s main
main
30m 50s
docs: replace template README with a2ml-haskell project content Static Analysis Gate #28: Commit 9e98721 pushed by hyperpolymath
13s main
main
13s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Static Analysis Gate #27: Commit 4a5f84c pushed by hyperpolymath
1h 59m 10s main
main
1h 59m 10s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Static Analysis Gate #26: Commit e78c830 pushed by hyperpolymath
41m 23s main
main
41m 23s
chore: automated sync of local changes Static Analysis Gate #25: Commit d698d3a pushed by hyperpolymath
9m 37s main
main
9m 37s
feat(crg): add crg-grade and crg-badge justfile recipes Static Analysis Gate #24: Commit a3de620 pushed by hyperpolymath
6h 52m 5s main
main
6h 52m 5s
chore: add eclexiaiser-validate job to dogfood gate Static Analysis Gate #23: Commit 12324d6 pushed by hyperpolymath
8h 6m 46s main
main
8h 6m 46s
chore: add eclexiaiser.toml energy-cost manifest Static Analysis Gate #22: Commit 9b83ed1 pushed by hyperpolymath
7h 27m 7s main
main
7h 27m 7s
docs: add TOPOLOGY.md Static Analysis Gate #21: Commit 065f17c pushed by hyperpolymath
7h 33m 54s main
main
7h 33m 54s
chore: add k9iser.toml (Batch 2C) Static Analysis Gate #20: Commit ddd9c52 pushed by hyperpolymath
6h 28m 39s main
main
6h 28m 39s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Static Analysis Gate #19: Commit 480c0e7 pushed by hyperpolymath
3h 52m 29s main
main
3h 52m 29s
docs: substantive CRG C annotation (EXPLAINME.adoc) Static Analysis Gate #18: Commit 29f78f1 pushed by hyperpolymath
50m 57s main
main
50m 57s
fix(rhodibot): automated RSR compliance fixes Static Analysis Gate #17: Pull request #2 opened by hyperpolymath
15s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
15s
Add casket pages workflow Static Analysis Gate #16: Commit 8cd391a pushed by hyperpolymath
1h 24m 53s main
main
1h 24m 53s
Remove template-only ABI files that falsely implied formal verification Static Analysis Gate #15: Commit 5f37f85 pushed by hyperpolymath
5m 55s main
main
5m 55s
chore: replace template placeholder in ROADMAP.adoc with project name Static Analysis Gate #14: Commit 1157f97 pushed by hyperpolymath
26m 21s main
main
26m 21s
feat: add stapeln.toml layer-based container definition\n\nConverted … Static Analysis Gate #13: Commit 68a74ca pushed by hyperpolymath
2h 52m 57s main
main
2h 52m 57s
chore: add UX infrastructure (quickstart, doctor, setup) Static Analysis Gate #12: Commit 09abf48 pushed by hyperpolymath
1h 24m 48s main
main
1h 24m 48s
chore: add Stapeln selur-compose.toml service definition Static Analysis Gate #11: Commit d4cea01 pushed by hyperpolymath
2h 5m 27s main
main
2h 5m 27s
chore: add agent_instructions methodology layer Static Analysis Gate #10: Commit e2f4260 pushed by hyperpolymath
1h 52m 55s main
main
1h 52m 55s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … Static Analysis Gate #9: Commit b991953 pushed by hyperpolymath
53s main
main
53s
docs: add EXPLAINME.adoc — prove-it file backing README claims Static Analysis Gate #8: Commit 6141643 pushed by hyperpolymath
27m 11s main
main
27m 11s