diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index c8c2c34e6..e746a6be0 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -205,7 +205,7 @@ stages: python scripts\mk_win_dist_cmake.py --assembly-version=$(AssemblyVersion) --x64-only - --julia + --julia --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --zip - task: CopyFiles@2