Description
Github Actions allows grouping output of workflow steps. We already use it in the build-info job (selective checks script). The goal of this change is to group output in the other CI checks to improve usability.
Github Actions allows grouping output of workflow steps. We already use it in the build-info job (selective checks script). The goal of this change is to group output in the other CI checks to improve usability.