Skip to content

Actions: hyperpolymath/maa-framework

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
480 workflow runs
480 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: estate-wide chore + stale-path sweep (2026-04-17) CodeQL Security Analysis #180: Commit 3a45352 pushed by hyperpolymath
1h 59m 6s main
main
1h 59m 6s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #179: Commit 5589e74 pushed by hyperpolymath
1h 0m 25s main
main
1h 0m 25s
chore: M5 CI/Workflow Sweep - final synchronisation CodeQL Security Analysis #178: Commit 04c230b pushed by hyperpolymath
51m 56s main
main
51m 56s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just CodeQL Security Analysis #177: Commit 5ef48b4 pushed by hyperpolymath
12m 20s main
main
12m 20s
CodeQL Security Analysis CodeQL Security Analysis #176: Scheduled
1m 54s main
main
1m 54s
chore(6a2): commit 6a2 sweep — a2ml drift CodeQL Security Analysis #175: Commit d163f19 pushed by hyperpolymath
3m 58s main
main
3m 58s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #174: Commit 1a1c39c pushed by hyperpolymath
57m 44s main
main
57m 44s
chore: automated sync of local changes CodeQL Security Analysis #173: Commit d903b56 pushed by hyperpolymath
18m 6s main
main
18m 6s
CodeQL Security Analysis CodeQL Security Analysis #172: Scheduled
1m 16s main
main
1m 16s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #171: Commit 23a38ac pushed by hyperpolymath
5h 54m 35s main
main
5h 54m 35s
chore: update eclexiaiser.toml with real function entries CodeQL Security Analysis #170: Commit 27cab88 pushed by hyperpolymath
5h 6m 59s main
main
5h 6m 59s
chore: add eclexiaiser.toml manifests for container sub-services CodeQL Security Analysis #169: Commit 3d9b7c0 pushed by hyperpolymath
4h 5m 5s main
main
4h 5m 5s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks CodeQL Security Analysis #168: Commit cb3b790 pushed by hyperpolymath
1h 14m 11s main
main
1h 14m 11s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #167: Commit 9917a32 pushed by hyperpolymath
26m 7s main
main
26m 7s
docs(test): achieve CRG C — document all test categories passing CodeQL Security Analysis #166: Commit b0fa5f1 pushed by hyperpolymath
1m 11s main
main
1m 11s
chore: update STATE.a2ml with CRG C compliance achievement CodeQL Security Analysis #165: Commit 1219f0a pushed by hyperpolymath
1m 13s main
main
1m 13s
feat: add comprehensive test suite to achieve CRG C compliance CodeQL Security Analysis #164: Commit fc5e8bf pushed by hyperpolymath
1m 22s main
main
1m 22s
Add casket pages workflow CodeQL Security Analysis #163: Commit 0881573 pushed by hyperpolymath
37m 59s main
main
37m 59s
ci: add E2E + aspect + bench + panic-attack workflow for absolute-zero CodeQL Security Analysis #162: Commit 69ba44a pushed by hyperpolymath
1m 17s main
main
1m 17s
feat: add benchmarks, unit tests, E2E and aspect tests for absolute-zero CodeQL Security Analysis #161: Commit 77af9b9 pushed by hyperpolymath
1m 11s main
main
1m 11s
fix: remove eval, quote vars, use mktemp in absolute-zero shell scripts CodeQL Security Analysis #160: Commit 250311f pushed by hyperpolymath
1m 20s main
main
1m 20s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #159: Commit 3c1744f pushed by hyperpolymath
13m 26s main
main
13m 26s
CodeQL Security Analysis CodeQL Security Analysis #158: Scheduled
1m 17s main
main
1m 17s
feat: add stapeln.toml container definition CodeQL Security Analysis #157: Commit abc3938 pushed by hyperpolymath
18m 22s main
main
18m 22s
fix: eliminate all 3 sorry in LambdaCNO proofs CodeQL Security Analysis #156: Commit 29259c0 pushed by hyperpolymath
3m 48s main
main
3m 48s
ProTip! You can narrow down the results and go further in time using created:<2026-03-29 or the other filters available.