sean/seanfarm
Watch
1
0
Fork
You've already forked seanfarm
 0
Code Issues Pull requests 7 Projects Releases 117 Packages Wiki Activity
117 releases 126 tags
  • v0.1.70 74325f6655

    v0.1.70 Stable

    pipeline-bot released this 2026-07-20 20:30:46 +00:00 | 206 commits to main since this release

    Changed

    • Incremental release.

    Included changes (v0.1.69 -> v0.1.70)

    • 3b77aaa65d9a tooling(ci-spine): durably land B0a workflows-alice -> workflows flips in merge/push-branch
    • ac721d87fb2a spec(tla): model-check the in-place CI-spine cutover contract
    Downloads