diff --git a/scripts/nightly-ubuntu.yaml b/scripts/nightly-ubuntu.yaml index 36ddfc47d..9caf6f402 100644 --- a/scripts/nightly-ubuntu.yaml +++ b/scripts/nightly-ubuntu.yaml @@ -14,7 +14,7 @@ steps: - script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk -- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/* +- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. - task: GitHubRelease@0 inputs: