From b7193a6a44a560efbd06d26ae1d4e1ad2fcb2486 Mon Sep 17 00:00:00 2001
From: Daniel Rosenwasser <DanielRosenwasser@users.noreply.github.com>
Date: Tue, 7 Jul 2020 16:11:14 -0700
Subject: [PATCH] Add workflow_dispatch to our nightly publish script. (#39485)

* Add workflow_dispatch to our nightly publish script.

* Update nightly.yaml
---
 .github/workflows/nightly.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/nightly.yaml b/.github/workflows/nightly.yaml
index 99a8a007ac3..24c3ed774f3 100644
--- a/.github/workflows/nightly.yaml
+++ b/.github/workflows/nightly.yaml
@@ -3,6 +3,8 @@ name: Publish Nightly
 on:
   schedule:
     - cron:  '0 7 * * *'
+  # enable users to manually trigger with workflow_dispatch
+  workflow_dispatch: {}
   repository_dispatch:
     types: publish-nightly