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.

Sign up for GitHub

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

Jump to bottom

execute: make printing task details optional #501

Merged

ungarj merged 3 commits into main from commands_task_details

Nov 21, 2022

Owner

ungarj commented Nov 21, 2022

No description provided.


          execute: make printing task details optional

9e28190

coveralls commented Nov 21, 2022 •

edited

Coverage remained the same at 100.0% when pulling 008f8f1 on commands_task_details into 12bbd8f on main.

ungarj and others added 2 commits

November 21, 2022 16:06


          Merge branch 'main' into commands_task_details

f690c35


          don't propagate print_task_details to subsequent functions

008f8f1

ungarj merged commit eae5c00 into main

ungarj deleted the commands_task_details branch

November 24, 2022 19:22

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment