From 12ca6e7dd489147d1564575f13b3e5c5e9a129d5 Mon Sep 17 00:00:00 2001 From: mamu Date: Fri, 17 May 2024 18:06:17 +0900 Subject: [PATCH] Add workflow dispatch --- .github/workflows/github-pages.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/github-pages.yaml b/.github/workflows/github-pages.yaml index 8ea807e3..714f8981 100644 --- a/.github/workflows/github-pages.yaml +++ b/.github/workflows/github-pages.yaml @@ -8,6 +8,7 @@ on: release: types: - published + workflow_dispatch: jobs: build: @@ -42,7 +43,7 @@ jobs: path: docs/build/html deploy: - if: github.event_name == 'push' + if: github.event_name != 'pull_request' needs: build permissions: pages: write