From: Johannes Schindelin via GitGitGadget Date: Tue, 01 Mar 2022 10:24:47 GMT Subject: [PATCH v2 7/9] ci: optionally mark up output in the GitHub workflow Message-ID: <15f199e810e08701b0c3bb84f1e9737672c100d9.1646130289.git.gitgitgadget@gmail.com> In-Reply-To: From: Johannes Schindelin 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::