diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 042ecfeac8b..535dbd1302f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,6 +1,6 @@ name: Build -on: [push, pull_request] +on: [push, pull_request, workflow_dispatch] jobs: build: diff --git a/.github/workflows/deploy-gh-pages.yaml b/.github/workflows/deploy-gh-pages.yml similarity index 98% rename from .github/workflows/deploy-gh-pages.yaml rename to .github/workflows/deploy-gh-pages.yml index bb96d063b3c..f9bf960099c 100644 --- a/.github/workflows/deploy-gh-pages.yaml +++ b/.github/workflows/deploy-gh-pages.yml @@ -3,6 +3,7 @@ name: Deploy to GitHub Pages on: push: branches: [main] + workflow_dispatch: jobs: deploy-to-pages: diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 00faf27fb51..4f3c2c941cf 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -1,6 +1,6 @@ name: Lint -on: [push, pull_request] +on: [push, pull_request, workflow_dispatch] jobs: pre-commit: