From: Johannes Schindelin Date: Sat, 21 May 2022 22:18:51 +0000 (+0000) Subject: ci: optionally mark up output in the GitHub workflow X-Git-Tag: v2.37.0-rc0~25^2~5 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=0f5ae593bea7314184608a32122da73ed559f219;p=thirdparty%2Fgit.git ci: optionally mark up output in the GitHub workflow A couple of commands exist to spruce up the output in GitHub workflows: https://docs.github.com/en/actions/learn-github-actions/workflow-commands-for-github-actions In addition to the `::group::