Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

spec: add system specifications for VeriSimDB, Lithoglyph, TypeQL-Exp CodeQL Security Analysis #41: Commit 5506079 pushed by hyperpolymath
1m 24s main
main
1m 24s
docs: add bibliographies for VeriSimDB, Lithoglyph, TypeQL-Experimental CodeQL Security Analysis #40: Commit 8b98bc0 pushed by hyperpolymath
1m 20s main
main
1m 20s
spec: add operational semantics for TypeQL-Experimental CodeQL Security Analysis #39: Commit fc3fffa pushed by hyperpolymath
1m 25s main
main
1m 25s
docs: add white papers for GQL (Lithoglyph) and TypeQL-Experimental CodeQL Security Analysis #38: Commit bdb2450 pushed by hyperpolymath
1m 15s main
main
1m 15s
chore: sync local changes CodeQL Security Analysis #37: Commit a2703d2 pushed by hyperpolymath
1m 17s main
main
1m 17s
feat(lithoglyph): expand test coverage to ~348 tests, fix GQL-DT pipe… CodeQL Security Analysis #36: Commit 32b63bc pushed by hyperpolymath
1m 21s main
main
1m 21s
feat(verisimdb): add 47 VQL end-to-end integration tests CodeQL Security Analysis #35: Commit bfdf54b pushed by hyperpolymath
1m 25s main
main
1m 25s
fix(verisimdb): bump reqwest 0.12→0.13, add query feature for Dependa… CodeQL Security Analysis #34: Commit ba80382 pushed by hyperpolymath
1m 19s main
main
1m 19s
fix: migrate lithoglyph API layer to Zig 0.15.2 CodeQL Security Analysis #33: Commit f8b58c5 pushed by hyperpolymath
1m 27s main
main
1m 27s
fix: move @max_indexes before first use to fix type comparison warning CodeQL Security Analysis #32: Commit ec213f2 pushed by hyperpolymath
1m 24s main
main
1m 24s
fix: resolve Pipeline.lean compilation errors and fix test references CodeQL Security Analysis #31: Commit decfe98 pushed by hyperpolymath
1m 24s main
main
1m 24s
fix: eliminate unsafe_coerce, add path traversal prevention, add safe… CodeQL Security Analysis #30: Commit 68e3698 pushed by hyperpolymath
1m 31s main
main
1m 31s
fix: eliminate remaining sorry in TypeChecker and TypeSafetyTests CodeQL Security Analysis #29: Commit 6167e79 pushed by hyperpolymath
1m 28s main
main
1m 28s
fix: standardise PROMPT dimensions and copyright headers across pipeline CodeQL Security Analysis #28: Commit d0a0246 pushed by hyperpolymath
1m 27s main
main
1m 27s
Implement L4-L6: financial/entity collections, ingest bridge, entity … CodeQL Security Analysis #27: Commit 85302bf pushed by hyperpolymath
1m 28s main
main
1m 28s
feat: convert lithoglyph from stale gitlink to tracked files + Phase … CodeQL Security Analysis #26: Commit db45570 pushed by hyperpolymath
1m 14s main
main
1m 14s
chore(deps): Bump quinn-proto CodeQL Security Analysis #25: Commit c07bb73 pushed by hyperpolymath
1m 12s main
main
1m 12s
Standardise license setup: MPL-2.0 + PMPL-1.0-or-later (REUSE) CodeQL Security Analysis #24: Commit 4871108 pushed by hyperpolymath
16m 2s main
main
16m 2s
chore(deps): Bump quinn-proto from 0.11.13 to 0.11.14 in /verisimdb in the cargo group across 1 directory CodeQL Security Analysis #23: Pull request #3 opened by dependabot bot
1m 5s dependabot/cargo/verisimdb/cargo-6aa8836123
dependabot/cargo/verisimdb/cargo-6aa8836123
1m 5s
refactor: rename hexad→octad universally across VeriSimDB CodeQL Security Analysis #22: Commit 77b4d10 pushed by hyperpolymath
1m 16s main
main
1m 16s
CodeQL Security Analysis CodeQL Security Analysis #21: Scheduled
1m 47s main
main
1m 47s
chore: hypatia auto-fix (5 formulaic fixes) CodeQL Security Analysis #20: Commit 6e82681 pushed by hyperpolymath
7m 46s main
main
7m 46s
feat: generate 295 repo summaries + fix ingest script + add outcomes/… CodeQL Security Analysis #19: Commit ba32be0 pushed by hyperpolymath
5m 12s main
main
5m 12s
chore(deps-dev): Bump esbuild CodeQL Security Analysis #18: Commit 4174ec4 pushed by hyperpolymath
1m 28s main
main
1m 28s
Merge pull request #2 from hyperpolymath/dependabot/cargo/verisimdb/c… CodeQL Security Analysis #17: Commit 3a66212 pushed by hyperpolymath
1m 25s main
main
1m 25s