Enable automatically triggering workflows

.github/workflows/lint.yaml

@@ -18,9 +18,14 @@ on:
   push:
     branches:
       - main
+
   pull_request:
     branches:
       - main
+
+  # Enable manually triggering this workflow
+  workflow_dispatch:
+
   schedule:
       # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
       #

.github/workflows/tests.yaml

@@ -16,9 +16,16 @@ name: "Run tests"
 
 on:
   push:
-    branches: [ main ]
+    branches:
+      - main
+
   pull_request:
-    branches: [ main ]
+    branches:
+      - main
+
+  # Enable manually triggering this workflow
+  workflow_dispatch:
+
   schedule:
       # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
       #

.github/workflows/typecheck.yaml

@@ -16,9 +16,16 @@ name: Typecheck
 
 on:
   push:
-    branches: [ main ]
+    branches:
+      - main
+
   pull_request:
-    branches: [ main ]
+    branches:
+      - main
+
+  # Enable manually triggering this workflow
+  workflow_dispatch:
+
   schedule:
       # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
       #