Skip to content

Actions: hyperpolymath/wokelang

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
200 workflow runs
200 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/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
CodeQL Security Analysis CodeQL Security Analysis #134: Scheduled
2m 18s main
main
2m 18s
chore: add repository configuration files and SPDX headers CodeQL Security Analysis #133: Commit 35cfacc pushed by hyperpolymath
1m 26s main
main
1m 26s
docs: update SCM files with project information CodeQL Security Analysis #132: Commit 29ce182 pushed by hyperpolymath
3h 43m 47s main
main
3h 43m 47s
docs: add RSR compliance files and ABI/FFI documentation CodeQL Security Analysis #131: Commit 0d67d84 pushed by hyperpolymath
33m 35s main
main
33m 35s
chore(deps): bump bytes from 1.11.0 to 1.11.1 in the cargo group across 1 directory CodeQL Security Analysis #130: Pull request #35 opened by dependabot Bot
1m 14s dependabot/cargo/cargo-f6ecf5c85a
dependabot/cargo/cargo-f6ecf5c85a
1m 14s
CodeQL Security Analysis CodeQL Security Analysis #129: Scheduled
1m 11s main
main
1m 11s
fix: convert VSCode extension from TypeScript to ReScript CodeQL Security Analysis #128: Commit 76e8a3d pushed by hyperpolymath
1h 29m 52s main
main
1h 29m 52s
chore: update STATE.scm for LSP feature parity completion CodeQL Security Analysis #127: Commit 1f16889 pushed by hyperpolymath
2h 7m 10s main
main
2h 7m 10s
feat(lsp): complete LSP feature parity with Phronesis CodeQL Security Analysis #126: Commit 9d3d080 pushed by hyperpolymath
2h 8m 9s main
main
2h 8m 9s