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 2931006e3c
commit 74e76aff2c
No known key found for this signature in database
GPG key ID: CB5738652768F7E9
5 changed files with 70 additions and 23 deletions

View file

@ -1 +1 @@
1.13.0
1.13.1