diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 32cb7053..197aa73b 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -1,6 +1,13 @@ name: Deploy Documentation on: + workflow_dispatch: + inputs: + deploy: + description: "Whether to deploy the website to GitHub Pages" + type: boolean + required: false + default: false workflow_call: inputs: deploy: