Skip to content

Actions: hyperpolymath/typedqliser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
149 workflow runs
149 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
fix(ci): clear OSSF Scorecard startup_failure (#45) CodeQL Security Analysis #149: Commit 86cdee3 pushed by hyperpolymath
41m 1s main
main
41m 1s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #148: Pull request #45 opened by hyperpolymath
14m 55s fix/scorecard-caller-startup
fix/scorecard-caller-startup
14m 55s
CodeQL Security Analysis CodeQL Security Analysis #147: Scheduled
47s main
main
47s
fix(clade): correct identity uuid (deterministic v5) (#44) CodeQL Security Analysis #146: Commit 2f98d85 pushed by hyperpolymath
10m 41s main
main
10m 41s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #145: Pull request #44 opened by hyperpolymath
11m 5s fix/clade-uuid
fix/clade-uuid
11m 5s
CodeQL Security Analysis CodeQL Security Analysis #144: Scheduled
45s main
main
45s
feat(sql): validate tables inside subqueries and derived tables (L2) … CodeQL Security Analysis #143: Commit 5e92e58 pushed by hyperpolymath
41s main
main
41s
feat(sql): validate tables inside subqueries and derived tables (L2) CodeQL Security Analysis #142: Pull request #43 opened by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
feat(sql): null-check SELECT * and recognise CTE names (L4/L2 soundne… CodeQL Security Analysis #141: Commit 55a2ec3 pushed by hyperpolymath
48s main
main
48s
feat(sql): null-check SELECT * and recognise CTE names (L4/L2 soundness) CodeQL Security Analysis #140: Pull request #42 synchronize by hyperpolymath
1m 1s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 1s
feat(sql): resolve table aliases across L2/L3/L4 safety checks (#41) CodeQL Security Analysis #139: Commit 5bda716 pushed by hyperpolymath
46s main
main
46s
feat(sql): resolve table aliases across L2/L3/L4 safety checks CodeQL Security Analysis #138: Pull request #41 synchronize by hyperpolymath
1m 2s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 2s
feat(sql): resolve table aliases across L2/L3/L4 safety checks CodeQL Security Analysis #137: Pull request #41 opened by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #136: Commit 280dcb5 pushed by hyperpolymath
1m 4s main
main
1m 4s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #135: Pull request #40 synchronize by hyperpolymath
54s claude/new-session-znxgm7
claude/new-session-znxgm7
54s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #134: Pull request #40 synchronize by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #133: Pull request #40 opened by hyperpolymath
43s claude/new-session-znxgm7
claude/new-session-znxgm7
43s
ABI Layer 5: end-to-end soundness capstone certificate (#39) CodeQL Security Analysis #132: Commit 579d759 pushed by hyperpolymath
48s main
main
48s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #131: Pull request #39 synchronize by hyperpolymath
42s claude/new-session-znxgm7
claude/new-session-znxgm7
42s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #130: Commit 5957feb pushed by hyperpolymath
42s main
main
42s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #129: Pull request #38 synchronize by hyperpolymath
1m 5s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 5s
ABI Layer 3: NullSafe (level 4) — a deeper, context-sensitive query-s… CodeQL Security Analysis #128: Commit b55c2b7 pushed by hyperpolymath
47s main
main
47s
ABI Layer 3: NullSafe (level 4) — a deeper, context-sensitive query-safety checker CodeQL Security Analysis #127: Pull request #37 synchronize by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
P3: prove TypeCompat (level 3) as a real operand-type-compatibility g… CodeQL Security Analysis #126: Commit 592255d pushed by hyperpolymath
50s main
main
50s
P3: prove TypeCompat (level 3) as a real operand-type-compatibility guarantee CodeQL Security Analysis #125: Pull request #36 synchronize by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s