On Sat, Mar 25, 2023 at 03:43:32PM -0400, Tom Lane wrote: > I pushed 0001 with some cosmetic changes (for instance, trying to > make the style of the doc entries for partitions_total/partitions_done > match the rest of their table).
Thanks. > I'm not touching 0002 or 0003, because I think they're fundamentally > a bad idea. Progress reporting is inherently inexact, because it's Nobody could disagree that it's inexact. The assertions are for minimal sanity tests and consistency. Like if "total" is set multiple times (as in this patch), or if a progress value goes backwards. Anyway the assertions exposed two other issues that would need to be fixed before the assertions themselves could be proposed. -- Justin