Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
424 workflow runs
424 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
Standardize workspace: Capitalize Justfile references in scripts and … CodeQL Security Analysis #199: Commit dd7b35e pushed by hyperpolymath
7m 19s main
main
7m 19s
Standardize workspace: Justfile migration and A2ML directive cleanup CodeQL Security Analysis #198: Commit 11f8541 pushed by hyperpolymath
1m 38s main
main
1m 38s
docs(verisimdb): clarify ProverKind is proven-domain, not an echidna … CodeQL Security Analysis #197: Commit 2a43dff pushed by hyperpolymath
1m 25s main
main
1m 25s
chore: fill empty .tool-versions from drift inventory (2026-04-17) CodeQL Security Analysis #196: Commit 82eb090 pushed by hyperpolymath
4m 0s main
main
4m 0s
proof(verisimdb): close V11 (connector type safety / Obj.magic elimin… CodeQL Security Analysis #195: Commit 95c3867 pushed by hyperpolymath
1m 31s main
main
1m 31s
proof(verisimdb): harden V10 scenario to actually exercise concurrency CodeQL Security Analysis #194: Commit 2390e52 pushed by hyperpolymath
1m 26s main
main
1m 26s
ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10 CodeQL Security Analysis #193: Commit a301cef pushed by hyperpolymath
1m 23s main
main
1m 23s
proof(verisimdb): close V10 (transaction serializability) in TLA+ CodeQL Security Analysis #192: Commit 94aa56f pushed by hyperpolymath
1m 31s main
main
1m 31s
proof(verisimdb): close V9 (normalizer determinism + convergence) in … CodeQL Security Analysis #191: Commit 81e1d52 pushed by hyperpolymath
1m 20s main
main
1m 20s
proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC CodeQL Security Analysis #190: Commit 9d3dfd8 pushed by hyperpolymath
1m 22s main
main
1m 22s
proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 CodeQL Security Analysis #189: Commit e2e5d9b pushed by hyperpolymath
1m 13s main
main
1m 13s
proof(verisimdb): close V8 (drift metric correctness) in Idris2 CodeQL Security Analysis #188: Commit 182cc7c pushed by hyperpolymath
1m 21s main
main
1m 21s
chore: Justfile recapitalization + launcher path correction CodeQL Security Analysis #187: Commit 0b601be pushed by hyperpolymath
1m 35s main
main
1m 35s
chore: sync chore drift (docs, workflows, gitignore, a2ml) CodeQL Security Analysis #186: Commit 427123e pushed by hyperpolymath
49m 46s main
main
49m 46s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #185: Commit 2057f31 pushed by hyperpolymath
1h 45m 26s main
main
1h 45m 26s
Merge pull request #11 from hyperpolymath/launcher-keepopen-realign CodeQL Security Analysis #184: Commit 7e54a21 pushed by hyperpolymath
14m 29s main
main
14m 29s
launcher: realign against keepopen-enabled template CodeQL Security Analysis #183: Pull request #11 opened by hyperpolymath
12m 7s launcher-keepopen-realign
launcher-keepopen-realign
12m 7s
chore: M5 CI/Workflow Sweep - final synchronisation CodeQL Security Analysis #182: Commit 6e9d91a pushed by hyperpolymath
27m 21s main
main
27m 21s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just CodeQL Security Analysis #181: Commit 63296cc pushed by hyperpolymath
1m 26s main
main
1m 26s
CodeQL Security Analysis CodeQL Security Analysis #180: Scheduled
1m 13s main
main
1m 13s
chore: add opsm.toml manifests for all sub-projects + update Justfile CodeQL Security Analysis #179: Commit b42db7d pushed by hyperpolymath
1m 40s main
main
1m 40s
feat(quandledb): v0.3.0 extended invariants — determinant, signature,… CodeQL Security Analysis #178: Commit 38d495d pushed by hyperpolymath
7m 1s main
main
7m 1s
feat(quandledb): frontend query UI — textarea editor, results table, … CodeQL Security Analysis #177: Commit c5a577e pushed by hyperpolymath
6m 19s main
main
6m 19s
docs(explainme): add verisimdb EXPLAINME per README-EXPLAINME-STANDARD CodeQL Security Analysis #176: Commit 02ce526 pushed by hyperpolymath
2m 58s main
main
2m 58s
feat(quandledb): end-to-end KRL query pipeline — evaluator, fault tol… CodeQL Security Analysis #175: Commit afd3220 pushed by hyperpolymath
1m 24s main
main
1m 24s
ProTip! You can narrow down the results and go further in time using created:<2026-04-12 or the other filters available.