Add workflow_dispatch trigger for all workflows

.github/workflows/codeql-analysis.yml

@@ -3,6 +3,7 @@ name: "CodeQL"
 on:
   schedule:
     - cron: '0 8 * * *'
+  workflow_dispatch:
 
 jobs:
   analyze:

.github/workflows/lint.yml

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

.github/workflows/nightly.yml

@@ -3,6 +3,7 @@ name: Nightly
 on:
   schedule:
     - cron: '0 8 * * *'
+  workflow_dispatch:
 
 jobs:
   pypy-tests:

.github/workflows/test-coverage.yml

@@ -1,6 +1,9 @@
 name: Test coverage
 
-on: [push, pull_request]
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
 
 jobs:
   codecov:

.github/workflows/test.yml

@@ -1,6 +1,9 @@
 name: Test
 
-on: [push, pull_request]
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
 
 jobs:
   tests: