Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

.github/workflows/instant-sync.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

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