Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
211 workflow runs
211 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
Hypatia Security Scan Hypatia Security Scan #211: Scheduled
6s main
main
6s
Hypatia Security Scan Hypatia Security Scan #210: Scheduled
7s main
main
7s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) Hypatia Security Scan #209: Commit 77781db pushed by hyperpolymath
16m 36s main
main
16m 36s
feat(verisim-api): Phase 1 Step 3 — ?include=embedding byte-exact rou… Hypatia Security Scan #208: Commit 3e55b08 pushed by hyperpolymath
7s main
main
7s
Hypatia Security Scan Hypatia Security Scan #207: Scheduled
6s main
main
6s
chore(deps): bump rustls-webpki (#12) Hypatia Security Scan #206: Commit 4d435dd pushed by hyperpolymath
4m 36s main
main
4m 36s
chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /verisimdb in the cargo group across 1 directory Hypatia Security Scan #205: Pull request #12 opened by dependabot Bot
3m 29s dependabot/cargo/verisimdb/cargo-8056535635
dependabot/cargo/verisimdb/cargo-8056535635
3m 29s
chore: estate-wide metadata and submodule sync (2026-04-20) Hypatia Security Scan #204: Commit 894a50c pushed by hyperpolymath
21s main
main
21s
Hypatia Security Scan Hypatia Security Scan #203: Scheduled
5h 56m 58s main
main
5h 56m 58s
refactor(quandledb): extract to top-level monorepo Hypatia Security Scan #202: Commit 8507330 pushed by hyperpolymath
5h 8m 20s main
main
5h 8m 20s
chore(contractiles): add bust/ + relocate k9 to svc/ Hypatia Security Scan #201: Commit 91e4eb1 pushed by hyperpolymath
4h 24m 40s main
main
4h 24m 40s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Hypatia Security Scan #200: Commit f922c76 pushed by hyperpolymath
1h 42m 56s main
main
1h 42m 56s
Standardize workspace: Capitalize Justfile references in scripts and … Hypatia Security Scan #199: Commit dd7b35e pushed by hyperpolymath
11m 1s main
main
11m 1s
Standardize workspace: Justfile migration and A2ML directive cleanup Hypatia Security Scan #198: Commit 11f8541 pushed by hyperpolymath
52s main
main
52s
docs(verisimdb): clarify ProverKind is proven-domain, not an echidna … Hypatia Security Scan #197: Commit 2a43dff pushed by hyperpolymath
8s main
main
8s
chore: fill empty .tool-versions from drift inventory (2026-04-17) Hypatia Security Scan #196: Commit 82eb090 pushed by hyperpolymath
2m 49s main
main
2m 49s
proof(verisimdb): close V11 (connector type safety / Obj.magic elimin… Hypatia Security Scan #195: Commit 95c3867 pushed by hyperpolymath
6s main
main
6s
proof(verisimdb): harden V10 scenario to actually exercise concurrency Hypatia Security Scan #194: Commit 2390e52 pushed by hyperpolymath
6s main
main
6s
ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10 Hypatia Security Scan #193: Commit a301cef pushed by hyperpolymath
8s main
main
8s
proof(verisimdb): close V10 (transaction serializability) in TLA+ Hypatia Security Scan #192: Commit 94aa56f pushed by hyperpolymath
7s main
main
7s
proof(verisimdb): close V9 (normalizer determinism + convergence) in … Hypatia Security Scan #191: Commit 81e1d52 pushed by hyperpolymath
7s main
main
7s
proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC Hypatia Security Scan #190: Commit 9d3dfd8 pushed by hyperpolymath
7s main
main
7s
proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 Hypatia Security Scan #189: Commit e2e5d9b pushed by hyperpolymath
8s main
main
8s
proof(verisimdb): close V8 (drift metric correctness) in Idris2 Hypatia Security Scan #188: Commit 182cc7c pushed by hyperpolymath
7s main
main
7s
chore: Justfile recapitalization + launcher path correction Hypatia Security Scan #187: Commit 0b601be pushed by hyperpolymath
36s main
main
36s