Group commands on GitHub Actions

This commit is contained in:
Nobuyoshi Nakada 2021-08-07 18:32:24 +09:00
parent ac7986f46a
commit 6e60fc2945
No known key found for this signature in database
GPG key ID: 7CD2805BFA3770C6
5 changed files with 43 additions and 1 deletions

View file

@ -526,6 +526,14 @@ GOLF_PRELUDE_C = golf_prelude.c
!endif
RBCONFIG = ./.rbconfig.time
!if "$(GITHUB_ACTIONS)" == "true"
ACTIONS_GROUP = @echo ^#^#[group]$(@:yes-=)
ACTIONS_ENDGROUP = @echo ^#^#[endgroup]
!else
ACTIONS_GROUP = @:: $(empty)
ACTIONS_ENDGROUP = @::
!endif
!include $(srcdir)/common.mk
!ifdef SCRIPTPROGRAMS