Skip to content

Actions: hyperpolymath/a2ml-rs

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #30: Commit 89df576 pushed by hyperpolymath
5h 7m 52s main
main
5h 7m 52s
docs: add CHANGELOG entry for session 9 test enhancements CodeQL Security Analysis #29: Commit 765de77 pushed by hyperpolymath
5h 13m 8s main
main
5h 13m 8s
docs: update TEST-NEEDS.md with session 9 bench additions CodeQL Security Analysis #28: Commit 977b1d6 pushed by hyperpolymath
5h 2m 24s main
main
5h 2m 24s
bench: add attestation and directive benchmarks to a2ml bench suite CodeQL Security Analysis #27: Commit 2d029fe pushed by hyperpolymath
5h 8m 28s main
main
5h 8m 28s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #26: Commit 93009eb pushed by hyperpolymath
4h 4m 38s main
main
4h 4m 38s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #25: Commit 5b98f67 pushed by hyperpolymath
2h 14m 50s main
main
2h 14m 50s
docs: add TOPOLOGY.md CodeQL Security Analysis #24: Commit b87ecbc pushed by hyperpolymath
2h 13m 30s main
main
2h 13m 30s
feat: add idrisiser Idris2 proof wrappers for A2ML parser CodeQL Security Analysis #23: Commit 9dcf569 pushed by hyperpolymath
2h 9m 29s main
main
2h 9m 29s
chore: add k9iser.toml (Batch 2A) CodeQL Security Analysis #22: Commit c1649a0 pushed by hyperpolymath
2h 47m 36s main
main
2h 47m 36s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks CodeQL Security Analysis #21: Commit d96bbc4 pushed by hyperpolymath
1h 36m 19s main
main
1h 36m 19s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #20: Commit 9afb96f pushed by hyperpolymath
9m 31s main
main
9m 31s
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 6161197 pushed by hyperpolymath
1h 14m 58s main
main
1h 14m 58s
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit CodeQL Security Analysis #17: Commit 43ea3fc pushed by hyperpolymath
38s main
main
38s
CodeQL Security Analysis CodeQL Security Analysis #16: Scheduled
38s main
main
38s
chore: replace template placeholder in ROADMAP.adoc with project name CodeQL Security Analysis #15: Commit e8c8a22 pushed by hyperpolymath
1m 9s main
main
1m 9s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #14: Commit 686c503 pushed by hyperpolymath
1h 13m 12s main
main
1h 13m 12s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #13: Commit aa21533 pushed by hyperpolymath
14m 27s main
main
14m 27s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #12: Commit 17fdf52 pushed by hyperpolymath
53m 31s main
main
53m 31s
chore: add agent_instructions methodology layer CodeQL Security Analysis #11: Commit 2bce23b pushed by hyperpolymath
12m 30s main
main
12m 30s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … CodeQL Security Analysis #10: Commit 3f83cf7 pushed by hyperpolymath
1m 5s main
main
1m 5s
CodeQL Security Analysis CodeQL Security Analysis #9: Scheduled
34s main
main
34s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #8: Commit d13efc4 pushed by hyperpolymath
5m 24s main
main
5m 24s
Merge branch 'chore/cicd-optimizations' — batch RSR compliance CodeQL Security Analysis #7: Commit 2bf3492 pushed by hyperpolymath
18m 7s main
main
18m 7s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) (#1) CodeQL Security Analysis #6: Commit 2208e7e pushed by hyperpolymath
14m 51s main
main
14m 51s