Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pass progress symbol as a parameter instead of part of the constructor #97

Merged
merged 1 commit into from
Oct 1, 2022

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