Allow manually running GitHub Actions workflows and use consistent fi…

…le extension (#2215) * Rename deploy-gh-pages.yaml to deploy-gh-pages.yml * Enable workflow_dispatch trigger to allow manually running
python · Jan 20, 2022 · d9e63cc · d9e63cc
1 parent f91ab0d
commit d9e63cc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git 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 → .github/workflows/deploy-gh-pages.yml b/.github/workflows/deploy-gh-pages.yaml → .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
@@ -1,6 +1,6 @@
 name: Lint
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   pre-commit: