diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 57cfe481..8302cb5b 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -9,6 +9,9 @@ on: push: branches: master + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: contents: read