From d1d4d55a9180756a504b2babcef83a4dabbbe1b6 Mon Sep 17 00:00:00 2001 From: jonathanmetzman <31354670+jonathanmetzman@users.noreply.github.com> Date: Wed, 3 May 2023 12:00:49 -0400 Subject: [PATCH] [cifuzz] Try to fix copy (#10228) --- infra/cifuzz/workspace_utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infra/cifuzz/workspace_utils.py b/infra/cifuzz/workspace_utils.py index d0f2eac26..44f3723b4 100644 --- a/infra/cifuzz/workspace_utils.py +++ b/infra/cifuzz/workspace_utils.py @@ -95,4 +95,4 @@ class Workspace: def make_repo_for_sarif(self): """Copies the repo over for the sarif upload GitHub action.""" - return shutil.copytree(self.repo, self.sarif) + return shutil.copytree(self.repo, self.sarif, symlinks=True)