include variable ReleaseVersion in Nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 2, 2024 · 30c14f5 · 30c14f5
1 parent d231913
commit 30c14f5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -2,6 +2,7 @@ variables:
   Major: '4'
   Minor: '12'
   Patch: '6'
+  ReleaseVersion: $(Major).$(Minor).$(Patch)
   AssemblyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)
   NightlyVersion: $(AssemblyVersion)-$(Build.DefinitionName)