Skip to content

Actions: coreseekdev/basalt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
docs(verify): memberGen v0.4 暂缓理由入档——现有双令牌已覆盖 Kafka 同等 fencing 形态 verification #8: Commit e16897f pushed by nzinfo
In progress main
main
In progress
docs(agents): 参考索引补齐三份评审任务书（三轮/四轮/不变式） verification #7: Commit 2d77d84 pushed by nzinfo
In progress main
main
In progress
docs(spec): 精化桥 v0.1——CommitAdvance 钉死多数派 ack 条件 + 租约/持久化对应行（M2 义务入表） verification #6: Commit fc11779 pushed by nzinfo
In progress main
main
In progress
docs(task): T-Q 状态对齐账本——T-Q.1🟨/T-Q.2✅/T-Q.3🟨；M2.3 补规约侧实现义务（租约失效/acks=… verification #5: Commit 4eae093 pushed by nzinfo
In progress main
main
In progress
verify(spec): 数据面活性最小参数实验——P2-2 闭合（稳定绿 + churn 负结果） verification #4: Commit 2e7abbf pushed by nzinfo
In progress main
main
In progress
fix(server): TruncateTo Leader 角色拒绝——截断区 offset 复用 fencing（四轮 review … verification #3: Commit b33e612 pushed by nzinfo
1h 21m 48s main
main
1h 21m 48s
verify(spec): C14①⑤ 闭合——synced 崩溃边界 + 租约语义（缺陷⑯）+ view 回退实验 verification #2: Commit 7126dea pushed by nzinfo
1h 23m 14s main
main
1h 23m 14s
docs(spec): 活性实验文档去 WIP 后缀——实验已闭合更名 CONSUMERGROUP-LIVENESS.md verification #1: Commit 3b039e4 pushed by nzinfo
7m 12s main
main
7m 12s