From b05e2bd18a4206aa0d5acba1b3cf70d29951e861 Mon Sep 17 00:00:00 2001 From: Daniel Rosenwasser Date: Tue, 7 Jul 2020 15:36:52 -0700 Subject: [PATCH 1/2] Add workflow_dispatch to our nightly publish script. --- .github/workflows/nightly.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/nightly.yaml b/.github/workflows/nightly.yaml index 99a8a007ac36d..7e00e02e4ea9e 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: null repository_dispatch: types: publish-nightly From 0d470c8270515628bb20d95597c8c221ac9bd5ae Mon Sep 17 00:00:00 2001 From: Daniel Rosenwasser Date: Tue, 7 Jul 2020 15:40:26 -0700 Subject: [PATCH 2/2] Update nightly.yaml --- .github/workflows/nightly.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nightly.yaml b/.github/workflows/nightly.yaml index 7e00e02e4ea9e..24c3ed774f339 100644 --- a/.github/workflows/nightly.yaml +++ b/.github/workflows/nightly.yaml @@ -4,7 +4,7 @@ on: schedule: - cron: '0 7 * * *' # enable users to manually trigger with workflow_dispatch - workflow_dispatch: null + workflow_dispatch: {} repository_dispatch: types: publish-nightly