diff --git a/.github/scripts/upload_failure_logs.py b/.github/scripts/upload_failure_logs.py index cf595c5..f43edfd 100755 --- a/.github/scripts/upload_failure_logs.py +++ b/.github/scripts/upload_failure_logs.py @@ -2,14 +2,14 @@ import tarfile from pathlib import Path -from common import upload, OS_NAME, PLATFORM_TARGET, HOME +from common import upload, OS_NAME, COMPILE_CONFIG, HOME -ARCHIVE_NAME = Path(f"fail_log_{OS_NAME}_{PLATFORM_TARGET}.tar.gz") +ARCHIVE_NAME = Path(f"fail_log_{OS_NAME}_{COMPILE_CONFIG}.tar.gz") files_to_archive = [] files_to_archive += HOME.glob("BUILD_*") -files_to_archive += [HOME/"SOURCE", HOME/"LOGS", HOME/"TOOLCHAINS"] +files_to_archive += [HOME / "SOURCE", HOME / "LOGS", HOME / "TOOLCHAINS"] with tarfile.open(ARCHIVE_NAME, "w:xz") as tar: for name in set(files_to_archive):