release 1.13.1: global progress done/total stable across phases

Phase summary no longer resets PROGRESS_TOTAL to local done (which made
bars like 34/34 then 38/47). Total is fixed at run start; only grows if
short; progress_finish snaps once at the end of the whole run.
This commit is contained in:
Hernâni Marques 2026-07-19 02:35:09 +02:00
parent 2848ad8ef7
commit d53af9a466
No known key found for this signature in database
5 changed files with 70 additions and 23 deletions

View file

@ -1 +1 @@
1.13.0
1.13.1