Support high build time variation in progress bar#4941

Merged

ammario merged 12 commits intomainfrom

pb-improvements

Nov 17, 2022

Commits on Nov 7, 2022

Commits on Nov 8, 2022

Commits on Nov 16, 2022

Merge remote-tracking branch 'origin/main' into pb-improvements
ammario
committed