allow manual deploy

4 months ago · 706b5a39c6
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/github-pages.yml
+++ b/.github/workflows/github-pages.yml
@ -1,6 +1,7 @@
 name: Build and deploy Docs site to GitHub Pages

 on:
+  workflow_dispatch:
  push:
    branches:
      - main