help wantedtype: bug
Repository metrics
- Stars
- (11,918 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
There are some issues with the progress reporter not working properly together with the logger. We should investigate if we can find library that handles this already.
Superseds #731, #724.