Skip to content

Actions: hyperpolymath/maa-framework

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
219 workflow runs
219 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
chore(ci): update codeql-action SHA to v3.35.2 Code Quality #219: Commit 111b724 pushed by hyperpolymath
10m 8s main
main
10m 8s
agda: make CNO echo bridge relation-first Code Quality #218: Commit 0538283 pushed by hyperpolymath
30s main
main
30s
agda: make CNO echo bridge relation-first Code Quality #217: Commit 0538283 pushed by hyperpolymath
13s agda-cno-echo-relational-bridge
agda-cno-echo-relational-bridge
13s
agda: add concrete echo bridge model for CNO Code Quality #216: Commit e80c5fb pushed by hyperpolymath
22s main
main
22s
agda: add concrete echo bridge model for CNO Code Quality #215: Commit e80c5fb pushed by hyperpolymath
13s agda-cno-composition-and-bridge
agda-cno-composition-and-bridge
13s
Add Agda echo/CNO bridge scaffold and integration pointers Code Quality #214: Commit 24fae59 pushed by hyperpolymath
16s main
main
16s
Add Agda echo/CNO bridge scaffold and integration pointers Code Quality #213: Commit 24fae59 pushed by hyperpolymath
14s agda-echo-bridge-scaffold
agda-echo-bridge-scaffold
14s
further proofs Code Quality #212: Commit 56d29c8 pushed by hyperpolymath
20s main
main
20s
chore(contractiles): add bust/ + relocate k9 to svc/ Code Quality #211: Commit 607c118 pushed by hyperpolymath
5h 55m 8s main
main
5h 55m 8s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Code Quality #210: Commit ca02fc3 pushed by hyperpolymath
3h 42m 41s main
main
3h 42m 41s
Standardize workspace: Capitalize Justfile references in scripts and … Code Quality #209: Commit a417457 pushed by hyperpolymath
3h 12m 58s main
main
3h 12m 58s
Standardize workspace: Justfile migration and A2ML directive cleanup Code Quality #208: Commit cce7c4d pushed by hyperpolymath
9m 21s main
main
9m 21s
ci: wire hypatia-scan.yml to query own Dependabot alerts Code Quality #207: Commit e06ac81 pushed by hyperpolymath
1h 41m 46s main
main
1h 41m 46s
chore: estate-wide chore + stale-path sweep (2026-04-17) Code Quality #206: Commit 3a45352 pushed by hyperpolymath
2h 2m 18s main
main
2h 2m 18s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Code Quality #205: Commit 5589e74 pushed by hyperpolymath
1h 0m 25s main
main
1h 0m 25s
chore: M5 CI/Workflow Sweep - final synchronisation Code Quality #204: Commit 04c230b pushed by hyperpolymath
48m 7s main
main
48m 7s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just Code Quality #203: Commit 5ef48b4 pushed by hyperpolymath
11m 38s main
main
11m 38s
chore(6a2): commit 6a2 sweep — a2ml drift Code Quality #202: Commit d163f19 pushed by hyperpolymath
2m 55s main
main
2m 55s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Code Quality #201: Commit 1a1c39c pushed by hyperpolymath
57m 2s main
main
57m 2s
chore: automated sync of local changes Code Quality #200: Commit d903b56 pushed by hyperpolymath
16m 32s main
main
16m 32s
feat(crg): add crg-grade and crg-badge justfile recipes Code Quality #199: Commit 23a38ac pushed by hyperpolymath
5h 56m 8s main
main
5h 56m 8s
chore: update eclexiaiser.toml with real function entries Code Quality #198: Commit 27cab88 pushed by hyperpolymath
5h 5m 31s main
main
5h 5m 31s
chore: add eclexiaiser.toml manifests for container sub-services Code Quality #197: Commit 3d9b7c0 pushed by hyperpolymath
3h 59m 18s main
main
3h 59m 18s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Code Quality #196: Commit cb3b790 pushed by hyperpolymath
1h 14m 40s main
main
1h 14m 40s
docs: substantive CRG C annotation (EXPLAINME.adoc) Code Quality #195: Commit 9917a32 pushed by hyperpolymath
24m 40s main
main
24m 40s