diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 4df9ad872..995da27d1 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -8,6 +8,8 @@ on: - 'docs/**' - 'website/**' - '.github/workflows/doc.yml' + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: jobs: doc: