Skip to content

Actions: hyperpolymath/wokelang

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
384 workflow runs
384 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
CodeQL Security Analysis CodeQL Security Analysis #184: Scheduled
1m 8s main
main
1m 8s
chore: add opsm.toml manifest for OPSM integration CodeQL Security Analysis #183: Commit 9a65d62 pushed by hyperpolymath
2m 35s main
main
2m 35s
feat(proofs): mechanise λ_consent Progress, Preservation, Non-Evasion… CodeQL Security Analysis #182: Commit b93e544 pushed by hyperpolymath
8m 22s main
main
8m 22s
refactor(WokeLang): prove value_eq_dec constructively via decide equa… CodeQL Security Analysis #181: Commit 66fe1a4 pushed by hyperpolymath
1m 39s main
main
1m 39s
merge: integrate layer1-local-work — AST visitor, specs, conformance,… CodeQL Security Analysis #180: Commit b52742a pushed by hyperpolymath
1m 7s main
main
1m 7s
ci(e2e): wire just e2e recipe to existing tests/e2e.sh CodeQL Security Analysis #179: Commit 092ce05 pushed by hyperpolymath
1m 4s main
main
1m 4s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #178: Commit 3fd64cd pushed by hyperpolymath
1h 35m 26s main
main
1h 35m 26s
CodeQL Security Analysis CodeQL Security Analysis #177: Scheduled
1m 17s main
main
1m 17s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #176: Commit 6c9a0b2 pushed by hyperpolymath
6h 29m 10s main
main
6h 29m 10s
ci: add E2E validation tests (38 structural checks) CodeQL Security Analysis #175: Commit a957b27 pushed by hyperpolymath
5h 11m 21s main
main
5h 11m 21s
test: add E2E structural validation and CI workflow CodeQL Security Analysis #174: Pull request #45 opened by hyperpolymath
5h 9m 23s feat/e2e-validation-tests
feat/e2e-validation-tests
5h 9m 23s
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #173: Commit d148f73 pushed by hyperpolymath
5h 6m 31s main
main
5h 6m 31s
docs: add M2 estate audit report (2026-04-04) CodeQL Security Analysis #172: Commit 350da11 pushed by hyperpolymath
4h 8m 40s main
main
4h 8m 40s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #171: Commit 60c51a5 pushed by hyperpolymath
3h 48m 5s main
main
3h 48m 5s
chore: add k9iser.toml (Batch 2B) CodeQL Security Analysis #170: Commit e9506b9 pushed by hyperpolymath
2h 30m 2s main
main
2h 30m 2s
feat: implement send/receive/await/cancel concurrency primitives CodeQL Security Analysis #169: Commit 84110c3 pushed by hyperpolymath
2h 21m 41s main
main
2h 21m 41s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks CodeQL Security Analysis #168: Commit 643c53d pushed by hyperpolymath
1h 38m 52s main
main
1h 38m 52s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #167: Commit dd412d5 pushed by hyperpolymath
47m 3s main
main
47m 3s
docs: add CRG Grade C header to TEST-NEEDS.md CodeQL Security Analysis #166: Commit 907924d pushed by hyperpolymath
1m 27s main
main
1m 27s
chore: Blitz wokelang to CRG C test coverage CodeQL Security Analysis #165: Commit 7f9c564 pushed by hyperpolymath
1m 15s main
main
1m 15s
chore: snapshot local work before sync CodeQL Security Analysis #164: Commit 29440f1 pushed by hyperpolymath
1m 22s main
main
1m 22s
CodeQL Security Analysis CodeQL Security Analysis #163: Scheduled
1m 31s main
main
1m 31s
fix: reconcile divergent EBNF grammars into single authority CodeQL Security Analysis #162: Commit c3f7307 pushed by hyperpolymath
1m 25s main
main
1m 25s
chore: replace {{project}}/{{PROJECT}} template placeholders with act… CodeQL Security Analysis #161: Commit af55972 pushed by hyperpolymath
15m 14s main
main
15m 14s
chore: update Cargo dependencies for security CodeQL Security Analysis #160: Commit 7b02f8e pushed by hyperpolymath
15m 37s main
main
15m 37s