work/1271-tlaplus-checkpoint-outbox-specs
1 month, 2 weeks ago
Add TLA+ model-checked specs of the checkpoint and outbox two-phase protocols
Formal specs under sp
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Add a differential adapter-parity test harness (randomized histories, Memory vs SQL) (#1370)
* Add
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Update redis requirement in the all-dependencies group (#1369)
Updates the requirements on [redis](
No dependencies with known security vulnerabilities.
work/1270-differential-adapter-parity
1 month, 2 weeks ago
Read the dropped-balance channel assertions by channel
Address a suppressed review comment on the c
No dependencies with known security vulnerabilities.
work/1270-differential-adapter-parity
1 month, 2 weeks ago
Make the seeded shrink test profile-independent; record uncaught op exceptions
The seeded shrink te
No dependencies with known security vulnerabilities.
work/1270-differential-adapter-parity
1 month, 2 weeks ago
Add a differential adapter-parity test harness
Replay the same randomized history of repository ope
No dependencies with known security vulnerabilities.
dependabot/pip/all-dependencies-d63fcd1268
1 month, 2 weeks ago
![@dependabot[bot]](https://avatars3.githubusercontent.com/u/49699333?v=3&s=32){kind=small}
Update redis requirement in the all-dependencies group
Updates the requirements on [redis](https://
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Add a Roadmap link to the README (#1357)
* Add a Roadmap link to the README
Point visitors at the
No dependencies with known security vulnerabilities.
docs/roadmap-link
1 month, 2 weeks ago
Use generic milestone link instead of 0.18.0
Co-authored-by: Copilot Autofix powered by AI <1757284
No dependencies with known security vulnerabilities.
docs/roadmap-link
1 month, 2 weeks ago
Add a Roadmap link to the README
Point visitors at the roadmap discussion and the current release m
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Add Copilot review instructions and a governance doc [skip ci]
.github/copilot-instructions.md dist
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
fix: make generated example domain traversable (#1317)
* fix: make generated example domain travers
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Bump version: 0.16.0 → 0.17.0
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Wait for published ports to free before starting service containers
The Full leg failed cutting 0.1
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Assemble the 0.17.0 release notes from 104 fragments
113 entries under `[Unreleased]` in flat Keep-
No dependencies with known security vulnerabilities.
