Fix github groups
github groups were written using logging, which was added the date as a prefix. This were breaking the grouping of logs on GHA.
This commit is contained in:
@@ -52,7 +52,7 @@ class GitHubGroup:
|
|||||||
self.name = name
|
self.name = name
|
||||||
|
|
||||||
def __enter__(self) -> None:
|
def __enter__(self) -> None:
|
||||||
logging.info(f"::group::{self.name}")
|
print(f"::group::{self.name}")
|
||||||
|
|
||||||
def __exit__(self, exc_type: any, exc_value: any, traceback: any) -> None:
|
def __exit__(self, exc_type: any, exc_value: any, traceback: any) -> None:
|
||||||
logging.info("::endgroup::")
|
print("::endgroup::")
|
||||||
|
|||||||
Reference in New Issue
Block a user