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