Skip to content

Actions: hyperpolymath/typell

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
99 workflow runs
99 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: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #49: Commit f072b09 pushed by hyperpolymath
4h 55m 6s main
main
4h 55m 6s
chore: gitignore wokelangiser i18n files (too large for GitHub) CodeQL Security Analysis #48: Commit 6bca0f4 pushed by hyperpolymath
4h 3m 36s main
main
4h 3m 36s
docs: add M2 estate audit report (2026-04-04) CodeQL Security Analysis #47: Commit 2c6acd5 pushed by hyperpolymath
4h 6m 33s main
main
4h 6m 33s
feat: add wokelangiser accessibility+consent manifest CodeQL Security Analysis #46: Commit 737a060 pushed by hyperpolymath
3h 59m 52s main
main
3h 59m 52s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #45: Commit cc4c05e pushed by hyperpolymath
3h 33m 1s main
main
3h 33m 1s
docs: update TEST-NEEDS.md with verified test counts CodeQL Security Analysis #44: Commit 88a08e7 pushed by hyperpolymath
2h 8m 40s main
main
2h 8m 40s
chore: add k9 Kennel guard for project metadata invariants CodeQL Security Analysis #43: Commit 1019d29 pushed by hyperpolymath
2h 5m 53s main
main
2h 5m 53s
chore: add k9iser.toml (Batch 2A) CodeQL Security Analysis #42: Commit 32e4453 pushed by hyperpolymath
2h 43m 43s main
main
2h 43m 43s
ci: deploy dogfood-gate, update CI config, add CRG tests CodeQL Security Analysis #41: Commit 2717de1 pushed by hyperpolymath
1h 39m 51s main
main
1h 39m 51s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #40: Commit 2b3e203 pushed by hyperpolymath
44m 40s main
main
44m 40s
Add casket pages workflow CodeQL Security Analysis #39: Commit fb90b64 pushed by hyperpolymath
58m 18s main
main
58m 18s
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit CodeQL Security Analysis #38: Commit 137a49d pushed by hyperpolymath
11m 48s main
main
11m 48s
ci: add E2E + aspect + bench CI workflow CodeQL Security Analysis #37: Commit 2d59a0d pushed by hyperpolymath
59s main
main
59s
feat: add Idris2 soundness proofs for TypeLL type checker metatheory CodeQL Security Analysis #36: Commit f39ca7e pushed by hyperpolymath
46s main
main
46s
CodeQL Security Analysis CodeQL Security Analysis #35: Scheduled
45s main
main
45s
chore: replace template placeholder in ROADMAP.adoc with project name CodeQL Security Analysis #34: Commit 6d29e8b pushed by hyperpolymath
19m 8s main
main
19m 8s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #33: Commit 97ddd31 pushed by hyperpolymath
2h 9m 50s main
main
2h 9m 50s
chore: add agent_instructions methodology layer CodeQL Security Analysis #32: Commit 670312f pushed by hyperpolymath
1h 40m 20s main
main
1h 40m 20s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #31: Commit 3c53ddd pushed by hyperpolymath
1h 33m 20s main
main
1h 33m 20s
CodeQL Security Analysis CodeQL Security Analysis #30: Scheduled
1m 50s main
main
1m 50s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #29: Commit 26d2250 pushed by hyperpolymath
33m 34s main
main
33m 34s
Merge branch 'chore/cicd-optimizations' CodeQL Security Analysis #28: Commit 3769be7 pushed by hyperpolymath
3m 45s main
main
3m 45s
docs: add unified levels documentation CodeQL Security Analysis #27: Commit 0590027 pushed by hyperpolymath
3m 58s main
main
3m 58s
test: comprehensive TypeLL test suite — VQL bridge, core, integration CodeQL Security Analysis #26: Commit cf6a7c1 pushed by hyperpolymath
43s main
main
43s
feat(spec): add remaining 5 Phase 1 formal specifications CodeQL Security Analysis #25: Commit 116e0fe pushed by hyperpolymath
48s main
main
48s