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
This workflow was disabled manually.
303 workflow runs
303 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: 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
chore: M5 CI/Workflow Sweep - final synchronisation .github/workflows/instant-sync.yml #164: Commit 6e9d91a pushed by hyperpolymath
Failure main
main
Failure
chore: M5 CI/Workflow Sweep - final synchronisation .github/workflows/instant-sync.yml #163: Commit 6e9d91a pushed by hyperpolymath
Failure main
main
Failure
chore: M5 CI/Workflow Sweep - add blockers and contractile.just .github/workflows/instant-sync.yml #162: Commit 63296cc pushed by hyperpolymath
Failure main
main
Failure
chore: add opsm.toml manifests for all sub-projects + update Justfile .github/workflows/instant-sync.yml #161: Commit b42db7d pushed by hyperpolymath
Failure main
main
Failure
feat(quandledb): v0.3.0 extended invariants — determinant, signature,… .github/workflows/instant-sync.yml #160: Commit 38d495d pushed by hyperpolymath
Failure main
main
Failure
feat(quandledb): frontend query UI — textarea editor, results table, … .github/workflows/instant-sync.yml #159: Commit c5a577e pushed by hyperpolymath
Failure main
main
Failure
docs(explainme): add verisimdb EXPLAINME per README-EXPLAINME-STANDARD .github/workflows/instant-sync.yml #158: Commit 02ce526 pushed by hyperpolymath
Failure main
main
Failure
feat(quandledb): end-to-end KRL query pipeline — evaluator, fault tol… .github/workflows/instant-sync.yml #157: Commit afd3220 pushed by hyperpolymath
Failure main
main
Failure
feat(quandledb/krl): implement KRL parser suite — Lexer, AST, Parser,… .github/workflows/instant-sync.yml #156: Commit fe44933 pushed by hyperpolymath
Failure main
main
Failure
fix(lithoglyph): migrate Zig 0.15.2 API changes across core-zig and g… .github/workflows/instant-sync.yml #155: Commit 260dc69 pushed by hyperpolymath
Failure main
main
Failure
chore(a2ml-migration): rename .scm → .a2ml in lithoglyph + gql-dt .github/workflows/instant-sync.yml #154: Commit 2bf4009 pushed by hyperpolymath
Failure main
main
Failure