run workflows on push to main

Author: JLBegin

.github/workflows/lint.yaml

@@ -1,6 +1,11 @@
 name: Lint
 
-on: [ pull_request, workflow_dispatch ]
+on:
+    pull_request:
+    push:
+      branches:
+        - main
+    workflow_dispatch:
 
 jobs:
   lint:

.github/workflows/test-coverage.yaml

@@ -1,6 +1,11 @@
 name: Test Coverage
 
-on: [ pull_request, workflow_dispatch ]
+on:
+    pull_request:
+    push:
+      branches:
+        - main
+    workflow_dispatch:
 
 jobs:
   test:

.github/workflows/tests.yaml

@@ -1,6 +1,11 @@
 name: Test all platforms
 
-on: [ pull_request, workflow_dispatch ]
+on:
+    pull_request:
+    push:
+      branches:
+        - main
+    workflow_dispatch:
 
 jobs:
   test: