From: Ævar Arnfjörð Bjarmason Date: Fri, 25 Mar 2022 19:24:13 GMT Subject: [RFC PATCH v3 4/6] ci: optionally mark up output in the GitHub workflow Message-ID: 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::