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
161 workflow runs
161 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: 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
fix(project): remove circular KRLAdapter dep from Project.toml .github/workflows/instant-sync.yml #153: Commit 413aa0b pushed by hyperpolymath
Failure main
main
Failure
feat(verisim-api): POST /proof_attempts auth guard + pagination offset .github/workflows/instant-sync.yml #152: Commit 403e760 pushed by hyperpolymath
Failure main
main
Failure
test(quandledb): add property-based quandle axiom and Reidemeister in… .github/workflows/instant-sync.yml #151: Commit 27debe9 pushed by hyperpolymath
Failure main
main
Failure
chore(v-sweep): delete V-lang VeriSimDB client source .github/workflows/instant-sync.yml #150: Commit f546e6c pushed by hyperpolymath
Failure main
main
Failure
docs(v-migration): deprecate V-lang VeriSimDB client — point to Rust .github/workflows/instant-sync.yml #149: Commit 131e41b pushed by hyperpolymath
Failure main
main
Failure
chore(naming): estate-wide VQL → VCL + VCL-DT/dt++ → VCL-UT rename sweep .github/workflows/instant-sync.yml #148: Commit a4480ae pushed by hyperpolymath
Failure main
main
Failure
chore(rename): VQL → VCL + VQL-dt++ → VCL-UT estate-wide .github/workflows/instant-sync.yml #147: Commit 3396542 pushed by hyperpolymath
Failure main
main
Failure
feat(proofs/lean4): add V6 WAL integrity — sequence monotonicity + re… .github/workflows/instant-sync.yml #146: Commit 850c869 pushed by hyperpolymath
Failure main
main
Failure
feat(proofs/lean4): add V4 Raft consensus safety — single-node commit… .github/workflows/instant-sync.yml #145: Commit b20a347 pushed by hyperpolymath
Failure main
main
Failure
docs(proofs): V7 provenance chain immutability — DONE .github/workflows/instant-sync.yml #144: Commit c64d76b pushed by hyperpolymath
Failure main
main
Failure
proof(V7): provenance chain immutability — hash chain + monotonic tim… .github/workflows/instant-sync.yml #143: Commit 60b2124 pushed by hyperpolymath
Failure main
main
Failure
docs(proofs): update PROOF-NEEDS.md — Obj.magic eliminated, V11/V12 I… .github/workflows/instant-sync.yml #142: Commit 0639514 pushed by hyperpolymath
Failure main
main
Failure
docs: update manifest + EXPLAINME for CLI consumer + package .github/workflows/instant-sync.yml #141: Commit c632159 pushed by hyperpolymath
Failure main
main
Failure
chore(state): mark 100% complete, clear next-actions .github/workflows/instant-sync.yml #140: Commit 9b85352 pushed by hyperpolymath
Failure main
main
Failure
chore(cli): gitignore Zig build artifacts, rm cached cache+out .github/workflows/instant-sync.yml #139: Commit 0a80117 pushed by hyperpolymath
Failure main
main
Failure
feat(pkg): promote verisim-modular-experiment to shippable Julia package .github/workflows/instant-sync.yml #138: Commit cc38b06 pushed by hyperpolymath
Failure main
main
Failure
feat(riii): wire _riii_neighbors via KnotTheory.jl r3_simplify .github/workflows/instant-sync.yml #137: Commit 7bfd6d6 pushed by hyperpolymath
Failure main
main
Failure