Drake always logs target names before executing the targets. It would be cool if those targets is collapsible/expandible in GitHub Actions, like so:
target 1
target 1 logs
target 2
target 2 logs
This can be achieved by printing the following to stdout:
::group::target 1
target 1 logs
::endgroup::
::group::target 2
target 2 logs
::endgroup::
Request
Add a way to customize logging of target names.
Drake always logs target names before executing the targets. It would be cool if those targets is collapsible/expandible in GitHub Actions, like so:
This can be achieved by printing the following to stdout:
Request
Add a way to customize logging of target names.