Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
213 workflow runs
213 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update wokelang submodule (12 Lean4 sorries eliminated) CodeQL Security Analysis #213: Commit cf56900 pushed by hyperpolymath
3m 39s main
main
3m 39s
CodeQL Security Analysis CodeQL Security Analysis #212: Scheduled
1m 29s main
main
1m 29s
feat: Gossamer migration — RuntimeBridge, gossamer.conf.json, Tauri→G… CodeQL Security Analysis #211: Commit c4f522c pushed by hyperpolymath
3m 44s main
main
3m 44s
chore: update wokelang submodule (sorry proof documentation) CodeQL Security Analysis #210: Commit 8522b92 pushed by hyperpolymath
39s main
main
39s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #209: Commit 5b00471 pushed by hyperpolymath
26m 30s main
main
26m 30s
chore: update language submodule pointers CodeQL Security Analysis #208: Commit 083fe0e pushed by hyperpolymath
21m 3s main
main
21m 3s
docs: clarify languages vs -iser tools with comparison table CodeQL Security Analysis #207: Commit aacb109 pushed by hyperpolymath
36s main
main
36s
docs: add TOOLING-STATUS.adoc — comprehensive tooling matrix CodeQL Security Analysis #206: Commit e510da0 pushed by hyperpolymath
32s main
main
32s
Update eclexia and oblibeny submodule pointers CodeQL Security Analysis #205: Commit b6275d1 pushed by hyperpolymath
1m 52s main
main
1m 52s
chore: update affinescript submodule — false feature claims rebutted CodeQL Security Analysis #204: Commit b92969b pushed by hyperpolymath
48s main
main
48s
chore: update affinescript submodule — sum types spec/tree-sitter fix CodeQL Security Analysis #203: Commit 24d8f07 pushed by hyperpolymath
47s main
main
47s
chore: merge chore/cicd-optimizations into main (resolve conflicts) CodeQL Security Analysis #202: Commit 92235c6 pushed by hyperpolymath
2m 6s main
main
2m 6s
chore: update betlang, ephapax, my-lang, and wokelang submodule pointers CodeQL Security Analysis #201: Commit 95c02b9 pushed by hyperpolymath
1m 43s main
main
1m 43s
feat: Layer 1 AST sweep — S-expr/JSON dump for Eclexia CodeQL Security Analysis #200: Commit 39b0f47 pushed by hyperpolymath
37s main
main
37s
chore: update affinescript, oblibeny submodules (SCM-to-A2ML migration) CodeQL Security Analysis #199: Commit c305118 pushed by hyperpolymath
34s main
main
34s
chore: update wokelang submodule — Layer 1 S-expr merge complete CodeQL Security Analysis #198: Commit e25440a pushed by hyperpolymath
36s main
main
36s
fix: repair orphaned gitlinks and detached HEAD submodules CodeQL Security Analysis #197: Commit 95a8bda pushed by hyperpolymath
55s main
main
55s
feat: Layer 1 AST dump — S-expr + JSON for 6 more nextgen languages CodeQL Security Analysis #196: Commit f67b625 pushed by hyperpolymath
37s main
main
37s
chore: commit outstanding work CodeQL Security Analysis #195: Commit 163193a pushed by hyperpolymath
12m 41s main
main
12m 41s
chore: update eclexia submodule (Layout.idr proof holes resolved) CodeQL Security Analysis #194: Commit c412bd1 pushed by hyperpolymath
33s main
main
33s
feat: Layer 1 AST dump — S-expr + JSON output for 3 quick-win languages CodeQL Security Analysis #193: Commit fc48247 pushed by hyperpolymath
44s main
main
44s
chore(ci): maximize ci/cd values via dependabot and permissions CodeQL Security Analysis #192: Commit d44b8bd pushed by hyperpolymath
9m 23s main
main
9m 23s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #191: Pull request #40 opened by hyperpolymath
26m 21s chore/cicd-optimizations
chore/cicd-optimizations
26m 21s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #190: Commit 81e7eb0 pushed by hyperpolymath
1h 32m 30s main
main
1h 32m 30s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #189: Commit 56b71eb pushed by hyperpolymath
10m 27s main
main
10m 27s