From 449440832204861caa85c0e50cd589888ca4021f Mon Sep 17 00:00:00 2001 From: Siemon de Lange Date: Fri, 30 Sep 2022 21:07:06 +0200 Subject: [PATCH] Add option to manually trigger build --- .github/workflows/ci.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f4ee400..d925a73 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,8 @@ name: "Pull Request Docs Check" on: - pull_request +- workflow_dispatch + jobs: docs: @@ -22,4 +24,4 @@ jobs: - uses: actions/upload-artifact@v1 with: name: DocumentationHTML - path: ./_build/html/ \ No newline at end of file + path: ./_build/html/