Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
187 workflow runs
187 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(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) Mirror to Git Forges #187: Commit 77781db pushed by hyperpolymath
20m 24s main
main
20m 24s
feat(verisim-api): Phase 1 Step 3 — ?include=embedding byte-exact rou… Mirror to Git Forges #186: Commit 3e55b08 pushed by hyperpolymath
3m 7s main
main
3m 7s
chore(deps): bump rustls-webpki (#12) Mirror to Git Forges #185: Commit 4d435dd pushed by hyperpolymath
12m 24s main
main
12m 24s
chore: estate-wide metadata and submodule sync (2026-04-20) Mirror to Git Forges #184: Commit 894a50c pushed by hyperpolymath
3m 18s main
main
3m 18s
refactor(quandledb): extract to top-level monorepo Mirror to Git Forges #183: Commit 8507330 pushed by hyperpolymath
5h 9m 45s main
main
5h 9m 45s
chore(contractiles): add bust/ + relocate k9 to svc/ Mirror to Git Forges #182: Commit 91e4eb1 pushed by hyperpolymath
4h 32m 0s main
main
4h 32m 0s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Mirror to Git Forges #181: Commit f922c76 pushed by hyperpolymath
1h 49m 6s main
main
1h 49m 6s
Standardize workspace: Capitalize Justfile references in scripts and … Mirror to Git Forges #180: Commit dd7b35e pushed by hyperpolymath
20m 25s main
main
20m 25s
Standardize workspace: Justfile migration and A2ML directive cleanup Mirror to Git Forges #179: Commit 11f8541 pushed by hyperpolymath
3m 55s main
main
3m 55s
docs(verisimdb): clarify ProverKind is proven-domain, not an echidna … Mirror to Git Forges #178: Commit 2a43dff pushed by hyperpolymath
3m 3s main
main
3m 3s
chore: fill empty .tool-versions from drift inventory (2026-04-17) Mirror to Git Forges #177: Commit 82eb090 pushed by hyperpolymath
5m 17s main
main
5m 17s
proof(verisimdb): close V11 (connector type safety / Obj.magic elimin… Mirror to Git Forges #176: Commit 95c3867 pushed by hyperpolymath
3m 10s main
main
3m 10s
proof(verisimdb): harden V10 scenario to actually exercise concurrency Mirror to Git Forges #175: Commit 2390e52 pushed by hyperpolymath
2m 34s main
main
2m 34s
ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10 Mirror to Git Forges #174: Commit a301cef pushed by hyperpolymath
3m 13s main
main
3m 13s
proof(verisimdb): close V10 (transaction serializability) in TLA+ Mirror to Git Forges #173: Commit 94aa56f pushed by hyperpolymath
3m 7s main
main
3m 7s
proof(verisimdb): close V9 (normalizer determinism + convergence) in … Mirror to Git Forges #172: Commit 81e1d52 pushed by hyperpolymath
3m 21s main
main
3m 21s
proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC Mirror to Git Forges #171: Commit 9d3dfd8 pushed by hyperpolymath
3m 11s main
main
3m 11s
proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 Mirror to Git Forges #170: Commit e2e5d9b pushed by hyperpolymath
3m 6s main
main
3m 6s
proof(verisimdb): close V8 (drift metric correctness) in Idris2 Mirror to Git Forges #169: Commit 182cc7c pushed by hyperpolymath
3m 4s main
main
3m 4s
chore: Justfile recapitalization + launcher path correction Mirror to Git Forges #168: Commit 0b601be pushed by hyperpolymath
3m 39s main
main
3m 39s
chore: sync chore drift (docs, workflows, gitignore, a2ml) Mirror to Git Forges #167: Commit 427123e pushed by hyperpolymath
49m 31s main
main
49m 31s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Mirror to Git Forges #166: Commit 2057f31 pushed by hyperpolymath
1h 49m 49s main
main
1h 49m 49s
Merge pull request #11 from hyperpolymath/launcher-keepopen-realign Mirror to Git Forges #165: Commit 7e54a21 pushed by hyperpolymath
14m 27s main
main
14m 27s
chore: M5 CI/Workflow Sweep - final synchronisation Mirror to Git Forges #164: Commit 6e9d91a pushed by hyperpolymath
25m 14s main
main
25m 14s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just Mirror to Git Forges #163: Commit 63296cc pushed by hyperpolymath
3m 27s main
main
3m 27s