Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
204 workflow runs
204 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: estate-wide metadata and submodule sync (2026-04-20) CodeQL Security Analysis #204: Commit 894a50c pushed by hyperpolymath
1m 15s main
main
1m 15s
CodeQL Security Analysis CodeQL Security Analysis #203: Scheduled
1m 33s main
main
1m 33s
refactor(quandledb): extract to top-level monorepo CodeQL Security Analysis #202: Commit 8507330 pushed by hyperpolymath
5h 11m 3s main
main
5h 11m 3s
chore(contractiles): add bust/ + relocate k9 to svc/ CodeQL Security Analysis #201: Commit 91e4eb1 pushed by hyperpolymath
4h 23m 44s main
main
4h 23m 44s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… CodeQL Security Analysis #200: Commit f922c76 pushed by hyperpolymath
1h 46m 11s main
main
1h 46m 11s
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