Skip to content

Conversation

@theofidry
Copy link
Collaborator

This offers more flexibility as it makes the instantiation of the standard logger no longer dependent of the progress symbol. This means if we remove the progress symbol from being passed to the parallel executor (for example to use a default value), this will not be a problem (currently that default value needs to be in Parallelization).

@theofidry theofidry merged commit 955cd76 into webmozarts:master Oct 1, 2022
@theofidry theofidry deleted the feature/progress-symbol branch October 1, 2022 22:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant