Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

TypeScript/JavaScript Blocker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ts-blocker.yml
224 workflow runs
224 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) TypeScript/JavaScript Blocker #224: Commit 77781db pushed by hyperpolymath
16m 4s main
main
16m 4s
feat(verisim-api): Phase 1 Step 3 — ?include=embedding byte-exact rou… TypeScript/JavaScript Blocker #223: Commit 3e55b08 pushed by hyperpolymath
10s main
main
10s
chore(deps): bump rustls-webpki (#12) TypeScript/JavaScript Blocker #222: Commit 4d435dd pushed by hyperpolymath
46s main
main
46s
chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /verisimdb in the cargo group across 1 directory TypeScript/JavaScript Blocker #221: Pull request #12 opened by dependabot Bot
1m 30s dependabot/cargo/verisimdb/cargo-8056535635
dependabot/cargo/verisimdb/cargo-8056535635
1m 30s
chore(deps): bump rustls-webpki TypeScript/JavaScript Blocker #220: Commit 1fb0c9a pushed by dependabot Bot
2m 17s dependabot/cargo/verisimdb/cargo-8056535635
dependabot/cargo/verisimdb/cargo-8056535635
2m 17s
chore: estate-wide metadata and submodule sync (2026-04-20) TypeScript/JavaScript Blocker #219: Commit 894a50c pushed by hyperpolymath
19s main
main
19s
refactor(quandledb): extract to top-level monorepo TypeScript/JavaScript Blocker #218: Commit 8507330 pushed by hyperpolymath
5h 7m 46s main
main
5h 7m 46s
chore(contractiles): add bust/ + relocate k9 to svc/ TypeScript/JavaScript Blocker #217: Commit 91e4eb1 pushed by hyperpolymath
4h 22m 55s main
main
4h 22m 55s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… TypeScript/JavaScript Blocker #216: Commit f922c76 pushed by hyperpolymath
1h 43m 38s main
main
1h 43m 38s
Standardize workspace: Capitalize Justfile references in scripts and … TypeScript/JavaScript Blocker #215: Commit dd7b35e pushed by hyperpolymath
12m 21s main
main
12m 21s
Standardize workspace: Justfile migration and A2ML directive cleanup TypeScript/JavaScript Blocker #214: Commit 11f8541 pushed by hyperpolymath
46s main
main
46s
docs(verisimdb): clarify ProverKind is proven-domain, not an echidna … TypeScript/JavaScript Blocker #213: Commit 2a43dff pushed by hyperpolymath
8s main
main
8s
chore: fill empty .tool-versions from drift inventory (2026-04-17) TypeScript/JavaScript Blocker #212: Commit 82eb090 pushed by hyperpolymath
3m 13s main
main
3m 13s
proof(verisimdb): close V11 (connector type safety / Obj.magic elimin… TypeScript/JavaScript Blocker #211: Commit 95c3867 pushed by hyperpolymath
16s main
main
16s
proof(verisimdb): harden V10 scenario to actually exercise concurrency TypeScript/JavaScript Blocker #210: Commit 2390e52 pushed by hyperpolymath
9s main
main
9s
ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10 TypeScript/JavaScript Blocker #209: Commit a301cef pushed by hyperpolymath
17s main
main
17s
proof(verisimdb): close V10 (transaction serializability) in TLA+ TypeScript/JavaScript Blocker #208: Commit 94aa56f pushed by hyperpolymath
9s main
main
9s
proof(verisimdb): close V9 (normalizer determinism + convergence) in … TypeScript/JavaScript Blocker #207: Commit 81e1d52 pushed by hyperpolymath
12s main
main
12s
proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC TypeScript/JavaScript Blocker #206: Commit 9d3dfd8 pushed by hyperpolymath
10s main
main
10s
proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 TypeScript/JavaScript Blocker #205: Commit e2e5d9b pushed by hyperpolymath
9s main
main
9s
proof(verisimdb): close V8 (drift metric correctness) in Idris2 TypeScript/JavaScript Blocker #204: Commit 182cc7c pushed by hyperpolymath
11s main
main
11s
chore: Justfile recapitalization + launcher path correction TypeScript/JavaScript Blocker #203: Commit 0b601be pushed by hyperpolymath
38s main
main
38s
chore: sync chore drift (docs, workflows, gitignore, a2ml) TypeScript/JavaScript Blocker #202: Commit 427123e pushed by hyperpolymath
48m 49s main
main
48m 49s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback TypeScript/JavaScript Blocker #201: Commit 2057f31 pushed by hyperpolymath
1h 45m 45s main
main
1h 45m 45s
Merge pull request #11 from hyperpolymath/launcher-keepopen-realign TypeScript/JavaScript Blocker #200: Commit 7e54a21 pushed by hyperpolymath
15m 11s main
main
15m 11s