Allow manually running GitHub Actions workflows and use consistent file extension (#2215)

* Rename deploy-gh-pages.yaml to deploy-gh-pages.yml
* Enable workflow_dispatch trigger to allow manually running

.github/workflows/build.yml

@@ -1,6 +1,6 @@
 name: Build
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   build:

.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:

.github/workflows/lint.yml

@@ -1,6 +1,6 @@
 name: Lint
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   pre-commit: