drake icon indicating copy to clipboard operation
drake copied to clipboard

Customizing target log | GitHub Actions output

Open KSXGitHub opened this issue 4 years ago • 1 comments

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.

KSXGitHub avatar May 15 '20 07:05 KSXGitHub

You could filter the output e.g. using sed(1):

NO_COLOR=yes drake test | sed -r 's/^(.*): started$/::group::\1/; s/^(.*): finished.*$/::endgroup::/'

srackham avatar Nov 09 '20 01:11 srackham