Skip to content

Actions: ProjectDMX/DMI

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
678 workflow runs
678 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
Rank a capture's packs by their first publish so a replayed pack cann… Python checks #374: Commit d3fe7c2 pushed by zaoxing
10m 17s main
main
10m 17s
Eager safety net: flush when the task ring is full, not only the payl… Python checks #373: Commit 20b58b4 pushed by zaoxing
8m 53s main
main
8m 53s
Rank a capture's packs by their first publish so a replayed pack cannot flip a pinned read Python checks #372: Pull request #161 opened by zaoxing
10m 55s fix/pinned-read-first-publish
fix/pinned-read-first-publish
10m 55s
Eager safety net: flush when the task ring is full, not only the payload Python checks #371: Pull request #160 opened by zaoxing
10m 15s fix/eager-task-ring-flush
fix/eager-task-ring-flush
10m 15s
Bound how long the publisher lease can go unrenewed: a deadline for e… Python checks #370: Commit 8b7991d pushed by zaoxing
10m 15s main
main
10m 15s
Bound how long the publisher lease can go unrenewed: a deadline for every request under it Python checks #369: Pull request #159 opened by zaoxing
10m 22s fix/bound-lease-requests
fix/bound-lease-requests
10m 22s
Take the formal specs off main (#158) Python checks #368: Commit 3f59db5 pushed by zaoxing
8m 7s main
main
8m 7s
Take the formal specs off main Python checks #367: Pull request #158 opened by zaoxing
8m 22s revert/formal-specs
revert/formal-specs
8m 22s
Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span ar… Python checks #366: Commit 71e6663 pushed by zaoxing
7m 21s main
main
7m 21s
Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span arithmetic Python checks #365: Pull request #157 opened by zaoxing
8m 3s specs/lease-allocator-ring-models
specs/lease-allocator-ring-models
8m 3s
Say what the lease comments actually guarantee (#154) Python checks #364: Commit 99ee4ae pushed by zaoxing
7m 27s main
main
7m 27s
Say what the lease comments actually guarantee Python checks #363: Pull request #154 reopened by zaoxing
6m 47s claude/lease-comment-corrections
claude/lease-comment-corrections
6m 47s
Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span arithmetic Python checks #362: Pull request #153 reopened by zaoxing
7m 45s claude/formal-specs
claude/formal-specs
7m 45s
Rank a capture's packs by publish version so a replayed pack cannot flip a pinned read Python checks #361: Pull request #156 synchronize by claude Bot
7m 42s claude/reindex-pinned-reader
claude/reindex-pinned-reader
7m 42s
Resolve a search page's argMax for its own keys, not every row past t… Python checks #360: Commit 71be2af pushed by zaoxing
7m 28s main
main
7m 28s
Resolve a search page's argMax for its own keys, not every row past the cursor Python checks #359: Pull request #139 synchronize by zaoxing
7m 26s perf/catalog-two-phase-page
perf/catalog-two-phase-page
7m 26s
Sink refusals and stalls never kill the forward: failure policy, per-… Python checks #358: Commit b6bdb91 pushed by zaoxing
8m 2s main
main
8m 2s
Sink refusals and stalls never kill the forward: failure policy, per-step stall budget, bounded admission Python checks #357: Pull request #152 synchronize by zaoxing
7m 59s feat/sink-failure-policy
feat/sink-failure-policy
7m 59s
Connect to a secured ClickHouse catalog: header credentials, verified… Python checks #356: Commit ef2a12f pushed by zaoxing
7m 31s main
main
7m 31s
Connect to a secured ClickHouse catalog: header credentials, verified TLS, bounded retries Python checks #355: Pull request #151 synchronize by zaoxing
8m 15s feat/catalog-client-auth-tls
feat/catalog-client-auth-tls
8m 15s
Recover the publisher lease after ClickHouse errors and wait for a cr… Python checks #354: Commit 7419fd0 pushed by zaoxing
6m 50s main
main
6m 50s
Recover the publisher lease after ClickHouse errors and wait for a crashed predecessor at start Python checks #353: Pull request #150 synchronize by zaoxing
7m 44s fix/lease-recovery
fix/lease-recovery
7m 44s
S3 client: private-CA TLS, a 5 MiB part minimum, and a fresh signatur… Python checks #352: Commit 48eacd5 pushed by zaoxing
6m 39s main
main
6m 39s
Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span arithmetic Python checks #351: Pull request #153 synchronize by zaoxing
8m 52s claude/formal-specs
claude/formal-specs
8m 52s
Say what the lease comments actually guarantee Python checks #350: Pull request #154 synchronize by zaoxing
7m 57s claude/lease-comment-corrections
claude/lease-comment-corrections
7m 57s