Skip to content

Actions: hyperpolymath/maa-framework

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
253 workflow runs
253 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
Add Agda echo/CNO bridge scaffold and integration pointers Mirror to Git Forges #128: Commit 24fae59 pushed by hyperpolymath
3m 3s main
main
3m 3s
further proofs Mirror to Git Forges #127: Commit 56d29c8 pushed by hyperpolymath
3m 18s main
main
3m 18s
chore(contractiles): add bust/ + relocate k9 to svc/ Mirror to Git Forges #126: Commit 607c118 pushed by hyperpolymath
5h 59m 24s main
main
5h 59m 24s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Mirror to Git Forges #125: Commit ca02fc3 pushed by hyperpolymath
3h 45m 28s main
main
3h 45m 28s
Standardize workspace: Capitalize Justfile references in scripts and … Mirror to Git Forges #124: Commit a417457 pushed by hyperpolymath
3h 5m 53s main
main
3h 5m 53s
Standardize workspace: Justfile migration and A2ML directive cleanup Mirror to Git Forges #123: Commit cce7c4d pushed by hyperpolymath
11m 15s main
main
11m 15s
ci: wire hypatia-scan.yml to query own Dependabot alerts Mirror to Git Forges #122: Commit e06ac81 pushed by hyperpolymath
1h 46m 5s main
main
1h 46m 5s
chore: estate-wide chore + stale-path sweep (2026-04-17) Mirror to Git Forges #121: Commit 3a45352 pushed by hyperpolymath
2h 0m 24s main
main
2h 0m 24s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Mirror to Git Forges #120: Commit 5589e74 pushed by hyperpolymath
1h 3m 45s main
main
1h 3m 45s
chore: M5 CI/Workflow Sweep - final synchronisation Mirror to Git Forges #119: Commit 04c230b pushed by hyperpolymath
51m 17s main
main
51m 17s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just Mirror to Git Forges #118: Commit 5ef48b4 pushed by hyperpolymath
16m 37s main
main
16m 37s
chore(6a2): commit 6a2 sweep — a2ml drift Mirror to Git Forges #117: Commit d163f19 pushed by hyperpolymath
7m 2s main
main
7m 2s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Mirror to Git Forges #116: Commit 1a1c39c pushed by hyperpolymath
1h 0m 28s main
main
1h 0m 28s
chore: automated sync of local changes Mirror to Git Forges #115: Commit d903b56 pushed by hyperpolymath
20m 1s main
main
20m 1s
feat(crg): add crg-grade and crg-badge justfile recipes Mirror to Git Forges #114: Commit 23a38ac pushed by hyperpolymath
5h 57m 53s main
main
5h 57m 53s
chore: update eclexiaiser.toml with real function entries Mirror to Git Forges #113: Commit 27cab88 pushed by hyperpolymath
5h 11m 38s main
main
5h 11m 38s
chore: add eclexiaiser.toml manifests for container sub-services Mirror to Git Forges #112: Commit 3d9b7c0 pushed by hyperpolymath
4h 2m 38s main
main
4h 2m 38s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Mirror to Git Forges #111: Commit cb3b790 pushed by hyperpolymath
1h 20m 21s main
main
1h 20m 21s
docs: substantive CRG C annotation (EXPLAINME.adoc) Mirror to Git Forges #110: Commit 9917a32 pushed by hyperpolymath
28m 21s main
main
28m 21s
docs(test): achieve CRG C — document all test categories passing Mirror to Git Forges #109: Commit b0fa5f1 pushed by hyperpolymath
2m 59s main
main
2m 59s
chore: update STATE.a2ml with CRG C compliance achievement Mirror to Git Forges #108: Commit 1219f0a pushed by hyperpolymath
3m 7s main
main
3m 7s
feat: add comprehensive test suite to achieve CRG C compliance Mirror to Git Forges #107: Commit fc5e8bf pushed by hyperpolymath
3m 16s main
main
3m 16s
Add casket pages workflow Mirror to Git Forges #106: Commit 0881573 pushed by hyperpolymath
41m 19s main
main
41m 19s
ci: add E2E + aspect + bench + panic-attack workflow for absolute-zero Mirror to Git Forges #105: Commit 69ba44a pushed by hyperpolymath
3m 5s main
main
3m 5s
feat: add benchmarks, unit tests, E2E and aspect tests for absolute-zero Mirror to Git Forges #104: Commit 77af9b9 pushed by hyperpolymath
3m 5s main
main
3m 5s