Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
205 workflow runs
205 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(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
chore: sync chore drift (docs, workflows, gitignore, a2ml) Hypatia Security Scan #186: Commit 427123e pushed by hyperpolymath
48m 26s main
main
48m 26s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Hypatia Security Scan #185: Commit 2057f31 pushed by hyperpolymath
1h 47m 8s main
main
1h 47m 8s
Merge pull request #11 from hyperpolymath/launcher-keepopen-realign Hypatia Security Scan #184: Commit 7e54a21 pushed by hyperpolymath
13m 39s main
main
13m 39s
launcher: realign against keepopen-enabled template Hypatia Security Scan #183: Pull request #11 opened by hyperpolymath
9m 23s launcher-keepopen-realign
launcher-keepopen-realign
9m 23s
chore: M5 CI/Workflow Sweep - final synchronisation Hypatia Security Scan #182: Commit 6e9d91a pushed by hyperpolymath
23m 49s main
main
23m 49s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just Hypatia Security Scan #181: Commit 63296cc pushed by hyperpolymath
2m 24s main
main
2m 24s