Skip to content

Actions: hyperpolymath/a2ml-haskell

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

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