What's Changed
- docs(specs): bring the TLA+ ledger up to date with main by @matthiasn in #4475
- ci: upload merged test coverage to CodeScene by @matthiasn in #4482
- fix(sync): model-check the outbox and fix the holes TLC found by @matthiasn in #4483
- fix(agents): regenerate the task report when the task status changes by @matthiasn in #4484
- feat(agents): always show the summary's age and Update now on the task card by @matthiasn in #4486
- fix(sync): model-check the inbound queue and keep catch-up from skipping ranges by @matthiasn in #4485
- chore(release): 1.1.27 by @matthiasn in #4488
- fix(sync): model-check journal replication and fix the holes TLC found by @matthiasn in #4487
Full Changelog: 1.1.26+4408...1.1.27+4409