[cifuzz] Try to fix copy (#10228)

This commit is contained in:
jonathanmetzman 2023-05-03 12:00:49 -04:00 committed by GitHub
parent fc79fcb816
commit d1d4d55a91
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -95,4 +95,4 @@ class Workspace:
def make_repo_for_sarif(self): def make_repo_for_sarif(self):
"""Copies the repo over for the sarif upload GitHub action.""" """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)