diff --git a/.github/workflows/docsite.yml b/.github/workflows/docsite.yml index 795bbcab..a8915881 100644 --- a/.github/workflows/docsite.yml +++ b/.github/workflows/docsite.yml @@ -8,6 +8,7 @@ on: push: branches: [main] paths: [docs/**] + workflow_dispatch: concurrency: group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.event.pull_request.number || github.ref }}