Skip to content

Actions: hyperpolymath/reposystem

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
206 workflow runs
206 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: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #156: Commit 392a921 pushed by hyperpolymath
3h 19m 19s main
main
3h 19m 19s
feat: wire VeriSimDB into reposystem replacing 5 flat JSON files CodeQL Security Analysis #155: Commit 972e228 pushed by hyperpolymath
2h 19m 37s main
main
2h 19m 37s
ci: deploy dogfood-gate, add Groove manifest, K9 contracts, CRG tests CodeQL Security Analysis #154: Commit a43f683 pushed by hyperpolymath
1h 50m 3s main
main
1h 50m 3s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #153: Commit 7d8bad0 pushed by hyperpolymath
38m 11s main
main
38m 11s
test: Add comprehensive test suite for CRG C compliance CodeQL Security Analysis #152: Commit 04221fe pushed by hyperpolymath
1m 16s main
main
1m 16s
Snapshot local work before sync CodeQL Security Analysis #151: Commit b62cf43 pushed by hyperpolymath
6m 24s main
main
6m 24s
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