rework persistedness#53

Merged

MarcoGorelli merged 17 commits intomainfrom

Dec 2, 2023

Commits on Dec 2, 2023

wip
MarcoGorelli
committed
fixup stuff
MarcoGorelli
committed
fixup stuff
MarcoGorelli
committed
typing
MarcoGorelli
committed
typing
MarcoGorelli
committed
fixup tests
MarcoGorelli
committed
typing
MarcoGorelli
committed
fmt
MarcoGorelli
committed
fixup
MarcoGorelli
committed
wip
MarcoGorelli
committed
wip
MarcoGorelli
committed
coverage
MarcoGorelli
committed
collect later
MarcoGorelli
committed
windows
MarcoGorelli
committed
update docs
MarcoGorelli
committed
warn about double-persist
MarcoGorelli
committed
warnings
MarcoGorelli
committed