diff --git a/.github/scripts/run_with_env_secrets.py b/.github/scripts/run_with_env_secrets.py index af0382c80f..f19c7ca017 100644 --- a/.github/scripts/run_with_env_secrets.py +++ b/.github/scripts/run_with_env_secrets.py @@ -55,7 +55,9 @@ def main(): os.environ[senv] = str(all_secrets.get(sname, "")) except KeyError as e: print(f"Could not set {senv} from secret {sname}: {e}") - + env_file = f"{ os.environ.get('RUNNER_TEMP', '') }/github_env_{ os.environ.get('GITHUB_RUN_ID', '') }" + if os.environ.get('ROCM'. '') == "true": + env_file = f"/tmp/github_env_{ os.environ.get('GITHUB_RUN_ID', '') }" docker_path = shutil.which("docker") if not docker_path: run_cmd_or_die(f"bash { os.environ.get('RUNNER_TEMP', '') }/exec_script") @@ -69,7 +71,7 @@ def main(): -e RUNNER_ARTIFACT_DIR=/artifacts \ -e RUNNER_DOCS_DIR=/docs \ -e RUNNER_TEST_RESULTS_DIR=/test-results \ - --env-file="/tmp/github_env_{ os.environ.get('GITHUB_RUN_ID', '') }" \ + --env-file="" \ `# It is unknown why the container sees a different value for this.` \ -e GITHUB_STEP_SUMMARY \ { ' '.join([ f'-e {v}' for v in secrets_u_names ]) } \