diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index a35bbde2..5cd7bcdf 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -3,6 +3,7 @@ name: Docs on: release: types: [created] + workflow_dispatch: jobs: build: @@ -39,7 +40,6 @@ jobs: environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} - steps: - name: Deploy to GitHub Pages id: deployment