From 30c14f533edf359b27a9ba536f597af79f4a29b1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 1 Feb 2024 22:39:21 -0800
Subject: [PATCH] include variable ReleaseVersion in Nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index f019fb508b5..4000da7376f 100644
--- 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)