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
chore: deploy UX infrastructure + fix SPDX headers CodeQL Security Analysis #159: Commit 8f9564a pushed by hyperpolymath
3m 3s main
main
3m 3s
fix(proofs): prove all 3 remaining Admitted theorems — 0 Admitted left CodeQL Security Analysis #158: Commit 3161f5c pushed by hyperpolymath
1m 19s main
main
1m 19s
chore: untrack ReScript compiler artifacts (.cmt/.cmti/.cmi) CodeQL Security Analysis #157: Commit e8f1ae6 pushed by hyperpolymath
1m 12s main
main
1m 12s
chore: add agent_instructions methodology layer CodeQL Security Analysis #156: Commit 6a1d8f9 pushed by hyperpolymath
3m 46s main
main
3m 46s
Layer1 local work (#42) CodeQL Security Analysis #155: Commit 03fd5c3 pushed by hyperpolymath
1m 7s main
main
1m 7s
Layer1 local work CodeQL Security Analysis #154: Pull request #42 synchronize by hyperpolymath
1m 21s layer1-local-work
layer1-local-work
1m 21s
fix: add loop context validation for break/continue statements CodeQL Security Analysis #153: Pull request #44 opened by hyperpolymath
1m 12s fix-break-continue
fix-break-continue
1m 12s
fix: add loop context validation for break/continue statements (#44) CodeQL Security Analysis #152: Commit e5347b8 pushed by hyperpolymath
1m 15s main
main
1m 15s
Chore/cicd optimizations (#43) CodeQL Security Analysis #151: Commit 3aca491 pushed by hyperpolymath
1m 16s main
main
1m 16s
Chore/cicd optimizations CodeQL Security Analysis #150: Pull request #43 synchronize by hyperpolymath
1m 25s chore/cicd-optimizations
chore/cicd-optimizations
1m 25s
chore(deps): bump trufflesecurity/trufflehog from 3.94.0 to 3.94.1 in… CodeQL Security Analysis #149: Commit c3c2ff2 pushed by hyperpolymath
1m 5s main
main
1m 5s
chore(deps): bump trufflesecurity/trufflehog from 3.94.0 to 3.94.1 in the actions group CodeQL Security Analysis #148: Pull request #41 opened by dependabot Bot
1m 8s dependabot/github_actions/actions-f13e834c3b
dependabot/github_actions/actions-f13e834c3b
1m 8s
fix(proofs): add 8 step rules, prove T_Eq progress, document root cause CodeQL Security Analysis #147: Commit 3e92d14 pushed by hyperpolymath
1m 6s main
main
1m 6s
chore: update Coq verification file CodeQL Security Analysis #146: Commit 1546503 pushed by hyperpolymath
1h 1m 17s main
main
1h 1m 17s
feat(proofs): eliminate all 12 Lean4 sorry proofs CodeQL Security Analysis #145: Commit 486226c pushed by hyperpolymath
3m 38s main
main
3m 38s
chore(deps): bump the actions group across 1 directory with 10 update… CodeQL Security Analysis #144: Commit 078ab89 pushed by hyperpolymath
2m 41s main
main
2m 41s
CodeQL Security Analysis CodeQL Security Analysis #143: Scheduled
3m 48s main
main
3m 48s
chore(deps): bump the actions group across 1 directory with 10 updates CodeQL Security Analysis #142: Pull request #40 opened by dependabot Bot
56s dependabot/github_actions/actions-ee7bf3044c
dependabot/github_actions/actions-ee7bf3044c
56s
fix(proofs): document 13 blocked Lean4 sorry proofs in WokeLang CodeQL Security Analysis #141: Commit b6932db pushed by hyperpolymath
1m 10s main
main
1m 10s
feat: merge Layer 1 S-expression AST dump and all source code onto main CodeQL Security Analysis #140: Commit 5272220 pushed by hyperpolymath
1m 1s main
main
1m 1s
chore(deps): bump minimatch from 5.1.6 to 5.1.8 in /editors/vscode in the npm_and_yarn group across 1 directory CodeQL Security Analysis #139: Pull request #36 opened by dependabot Bot
4s dependabot/npm_and_yarn/editors/vscode/npm_and_yarn-9550428184
dependabot/npm_and_yarn/editors/vscode/npm_and_yarn-9550428184
4s
CodeQL Security Analysis CodeQL Security Analysis #138: Scheduled
1m 18s main
main
1m 18s
CodeQL Security Analysis CodeQL Security Analysis #137: Scheduled
1m 0s main
main
1m 0s
fix: move SCM files to .machine_readable/ (RSR compliance) CodeQL Security Analysis #136: Commit 85b56f8 pushed by hyperpolymath
4m 40s main
main
4m 40s
chore: remove crash capture artifacts, update .gitignore CodeQL Security Analysis #135: Commit e676c01 pushed by hyperpolymath
33m 28s main
main
33m 28s
ProTip! You can narrow down the results and go further in time using created:<2026-02-13 or the other filters available.