Promote dev to main for 1.4.2 release#353

Merged

davidmrdavid merged 8 commits intomainfrom dev

Feb 16, 2024

+385-255

Commits on Nov 3, 2023

Revise partition startup (#332 )
sebastianburckhardt
authored

Commits on Jan 3, 2024

Always release partition lease when a partition shuts down (#335 )
sebastianburckhardt
authored

Commits on Jan 16, 2024

update to FASTER v2.0.23 (#264 )

sebastianburckhardt
and
davidmrdavid
authored

Commits on Feb 13, 2024

Add new logs to recovery path (#337 )

davidmrdavid
and
sebastianburckhardt
authored
revise how dispose tasks are organized so that they can all use the same timeout check and error reporting mechanism (#330 )
sebastianburckhardt
authored