Fix logging for profile JSON files

This commit is contained in:
Mikhail f. Shiryaev 2023-11-20 14:22:02 +01:00
parent 94824a0194
commit 362c15d9ea
No known key found for this signature in database
GPG Key ID: 4B02ED204C7D93F4

View File

@ -426,7 +426,9 @@ FORMAT JSONCompactEachRow"""
url = f"https://{ci_logs_credentials.host}/"
profiles_dir = temp_path / "profiles_source"
profiles_dir.mkdir(parents=True, exist_ok=True)
logging.info("Processing profile JSON files from {GIT_REPO_ROOT}/build_docker")
logging.info(
"Processing profile JSON files from %s", repo_path / "build_docker"
)
git_runner(
"./utils/prepare-time-trace/prepare-time-trace.sh "
f"build_docker {profiles_dir.absolute()}"