include variable ReleaseVersion in Nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 2, 2024 · 4260206 · 4260206
1 parent 30c14f5
commit 4260206
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/build-win-signed.yml b/scripts/build-win-signed.yml
@@ -21,6 +21,7 @@ jobs:
          call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{parameters.BuildArchitecture}} &&
         python scripts\mk_win_dist_cmake.py
             --${{parameters.BuildArchitecture}}-only
+            --assembly-version=${{parameters.ReleaseVersion}}
             --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
   - task: CopyFiles@2
     displayName: 'Collect Symbols'