Skip to content

Actions: hyperpolymath/a2ml-haskell

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

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