All workflows

Showing runs from all workflows

83 workflow runs

Verify
completed successfully:
Verify#83:Scheduled
main
Oct 26, 20264m 10s
release: v0.14.0
completed successfully:
Verify#82:Commitb309c7epushedbyericjuta
v0.14.0
Oct 23, 20264m 30s
release: v0.14.0
completed successfully:
Verify#81:Commitb309c7epushedbyericjuta
main
Oct 23, 20264m 10s
fix: host compaction may cut inside a huge open turn, marker names it…
completed successfully:
Verify#80:Commit03670e4pushedbyericjuta
main
Oct 21, 20264m 26s
fix: host compaction may cut inside a huge open turn, marker names it…
completed successfully:
Verify#79:Commit03670e4pushedbyericjuta
v0.13.3
Oct 21, 20264m 25s
release: 0.13.2
completed successfully:
Verify#78:Commitda72dc5pushedbyericjuta
main
Oct 21, 20264m 21s
release: 0.13.2
completed successfully:
Verify#77:Commitda72dc5pushedbyericjuta
v0.13.2
Oct 21, 20265m 33s
store: second session outside git falls back to a per-directory store…
completed successfully:
Verify#76:Commitb37c5dapushedbyericjuta
fix/lease-gaps
Oct 21, 202610m 28s
release: 0.13.1
completed successfully:
Verify#75:Commit0518c25pushedbyericjuta
v0.13.1
Oct 21, 20263m 14s
release: 0.13.1
completed successfully:
Verify#74:Commit0518c25pushedbyericjuta
main
Oct 21, 20264m 9s
verify: F1 and F2 are guarantees; archive and sidecarPath checked thr…
completed successfully:
Verify#73:Commit9d445e8pushedbyericjuta
main
Oct 21, 20266m 48s
verify: store writer lease checked by a TLA+ model and real-process t…
completed successfully:
Verify#72:Commit687d0f9pushedbyericjuta
main
Oct 21, 202610m 6s
evals: second compressor A/B scores stored lines, per-run seed and ba…
completed successfully:
Verify#71:Commit8d8b996pushedbyericjuta
main
Oct 21, 20264m 16s
fix: work(name) reads wait reports, false user tags cut, code-made ki…
completed successfully:
Verify#70:Commita4094a0pushedbyericjuta
v0.13.0
Oct 21, 20263m 18s
fix: work(name) reads wait reports, false user tags cut, code-made ki…
completed successfully:
Verify#69:Commita4094a0pushedbyericjuta
main
Oct 21, 20263m 54s
fix: answer host compaction with an OptChat marker summary instead of…
completed successfully:
Verify#68:Commitd3cfc9dpushedbyericjuta
v0.12.0
Oct 20, 20264m 8s
fix: answer host compaction with an OptChat marker summary instead of…
completed successfully:
Verify#67:Commitd3cfc9dpushedbyericjuta
main
Oct 20, 20264m 2s
fix: answer host compaction with an OptChat marker summary instead of…
completed successfully:
Verify#66:Commitd3cfc9dpushedbyericjuta
v0.12.0
Oct 20, 20264m 9s
fix: answer host compaction with an OptChat marker summary instead of…
completed successfully:
Verify#65:Commitd3cfc9dpushedbyericjuta
main
Oct 20, 20264m 7s
test: deterministic real-timer bounds; plan closes milestones, record…
completed successfully:
Verify#64:Commita63f48dpushedbyericjuta
v0.11.1
Oct 19, 202621m 15s
test: deterministic real-timer bounds; plan closes milestones, record…
completed successfully:
Verify#63:Commita63f48dpushedbyericjuta
main
Oct 19, 202619m 10s
docs(plan): pre-register rules precision and recall neighbour-reading…
completed successfully:
Verify#62:Commit6b9a15bpushedbyericjuta
main
Oct 19, 202622m 4s
Verify
completed successfully:
Verify#61:Scheduled
main
Oct 19, 20263m 31s
feat(config): child view on by default, --no-optchat-child-view opts …
completed successfully:
Verify#60:Commitd4cdf38pushedbyericjuta
v0.11.0
Oct 18, 20263m 52s
feat(config): child view on by default, --no-optchat-child-view opts …
completed successfully:
Verify#59:Commitd4cdf38pushedbyericjuta
main
Oct 18, 20264m 5s

Workflow runs

83 workflow runs