Repository navigation
v0.1.10
What's Changed
- fix(daemon): report startup recovery and contact peers concurrently by @losfair in #138
- Refactor pending head fetch to prevent race condition by @losfair in #139
- Migrate head reconciliation and materialization to Lean by @losfair in #140
- fix(control-plane): link existing accounts during trusted Cue provisioning by @zzj3720 in #142
- fix(control-plane): enable cloud features for Cue provisioning by @zzj3720 in #143
- lean: prove atomic ready-view promotion for M4 by @losfair in #141
- sockets: a socket is a name bound to a program, apart from spaces by @losfair in #144
- mptsync: prove eventual production convergence by @losfair in #145
New Contributors
Full Changelog: v0.1.9...v0.1.10