From 174d64c4d953e8158c12286376ebaab7d387dce5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 14 Aug 2025 14:43:13 -0700
Subject: [PATCH] fix releaseNotesSource to inline

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 932fc778e..c4b65c08d 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -471,7 +471,7 @@ stages:
         tagSource: 'userSpecifiedTag'
         tag: 'Nightly'
         title: 'Nightly'
-        releaseNotesSource: 'input'
+        releaseNotesSource: 'inline'
         releaseNotes: 'nightly build'
         assets: 'tmp/*'
         assetUploadMode: 'replace'