Skip to content

Actions: hyperpolymath/reposystem

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: API key exposure in bitfuckit curl + atom exhaustion in hud bots CodeQL Security Analysis #150: Commit 15a209f pushed by hyperpolymath
3m 21s main
main
3m 21s
ci: add E2E workflow for Gnosis template engine integration tests CodeQL Security Analysis #149: Commit 1ca1aa7 pushed by hyperpolymath
1m 44s main
main
1m 44s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #148: Commit 1899e75 pushed by hyperpolymath
17m 21s main
main
17m 21s
CodeQL Security Analysis CodeQL Security Analysis #147: Scheduled
1m 30s main
main
1m 30s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #146: Commit 733b421 pushed by hyperpolymath
3m 15s main
main
3m 15s
Add deno.json to forge-ops for ReScript dependency resolution CodeQL Security Analysis #145: Commit d0fb867 pushed by hyperpolymath
1m 35s main
main
1m 35s
Add .desktop file and install script for Linux desktop integration CodeQL Security Analysis #144: Commit 55e119c pushed by hyperpolymath
1m 48s main
main
1m 48s
chore: gitignore .tool-versions (asdf) CodeQL Security Analysis #143: Commit 8cfce7c pushed by hyperpolymath
2h 8m 12s main
main
2h 8m 12s
feat: add Idris2 ABI, Zig FFI, and V-lang API CodeQL Security Analysis #142: Commit 7567a27 pushed by hyperpolymath
1m 38s main
main
1m 38s
feat(tui): migrate Ada/SPARK backend to Rust with contract preservation CodeQL Security Analysis #141: Commit fd4b108 pushed by hyperpolymath
1m 26s main
main
1m 26s
fix: align port references to port registry (4000 → 4060) CodeQL Security Analysis #140: Commit d5ed046 pushed by hyperpolymath
1m 25s main
main
1m 25s
chore: remove tracked compiler cache (lib/bs/) — already gitignored CodeQL Security Analysis #139: Commit 4f5eaeb pushed by hyperpolymath
1h 29m 4s main
main
1h 29m 4s
fix(security): patch 3 Dependabot vulnerabilities CodeQL Security Analysis #138: Commit ade460f pushed by hyperpolymath
1h 34m 13s main
main
1h 34m 13s
feat(contractile): add adjust subcommand for accessibility invariants CodeQL Security Analysis #137: Commit 5641b82 pushed by hyperpolymath
1h 35m 48s main
main
1h 35m 48s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #136: Commit 48d2d09 pushed by hyperpolymath
1h 31m 21s main
main
1h 31m 21s
chore: add agent_instructions methodology layer CodeQL Security Analysis #135: Commit 5d499f2 pushed by hyperpolymath
1h 21m 23s main
main
1h 21m 23s
fix: complete ReScript 11 build — Array.map resolution, TEA list type… CodeQL Security Analysis #134: Commit cdce9a9 pushed by hyperpolymath
6m 35s main
main
6m 35s
fix: resolve ReScript build errors in GUI CodeQL Security Analysis #133: Commit 9a4853b pushed by hyperpolymath
1m 50s main
main
1m 50s
feat(gui): replace Tauri with Gossamer — 20 graph commands migrated CodeQL Security Analysis #132: Commit 2c7060a pushed by hyperpolymath
27m 17s main
main
27m 17s
fix(gui): rescript-tea port COMPLETE, 4 source fixes remain CodeQL Security Analysis #131: Commit 100a0fd pushed by hyperpolymath
1m 20s main
main
1m 20s
chore: gitignore ReScript build artifacts and node_modules CodeQL Security Analysis #130: Commit 0e1bbb5 pushed by hyperpolymath
1m 21s main
main
1m 21s
fix(gui): rescript-tea port — down to 2 files remaining CodeQL Security Analysis #129: Commit 82a167d pushed by hyperpolymath
1m 21s main
main
1m 21s
feat(gui): port rescript-tea to ReScript 11 — 95% complete CodeQL Security Analysis #128: Commit 78c3511 pushed by hyperpolymath
1m 36s main
main
1m 36s
wip(gui): vendor rescript-tea + rescript-webapi + D3 bindings for ReS… CodeQL Security Analysis #127: Commit d15eff1 pushed by hyperpolymath
6m 39s main
main
6m 39s
chore(deps): bump rustls-webpki from 0.103.9 to 0.103.10 in /tools/rs… CodeQL Security Analysis #126: Commit 07af3c7 pushed by hyperpolymath
10m 44s main
main
10m 44s