From 3b8420b86596679f38631b88af616b1db1329dea Mon Sep 17 00:00:00 2001
From: Alex Chew <alex-chew@users.noreply.github.com>
Date: Tue, 16 Jan 2024 15:12:13 -0800
Subject: [PATCH] ci: resume publishing nightly builds from master (#4991)

### Description

This PR resumes publishing nightly builds from `master`. (It was
accidentally removed in https://github.com/dafny-lang/dafny/pull/4931.)

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
---
 .github/workflows/nightly-build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/nightly-build.yml b/.github/workflows/nightly-build.yml
index bfe5ae7e352..311a0656713 100644
--- a/.github/workflows/nightly-build.yml
+++ b/.github/workflows/nightly-build.yml
@@ -28,5 +28,6 @@ jobs:
     uses: ./.github/workflows/nightly-build-reusable.yml
     with:
       ref: master
+      publish-prerelease: true
     secrets:
       nuget_api_key: ${{ secrets.NUGET_API_KEY }}