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)