build: avoid duplicated CI runs

.github/workflows/build.yml

@@ -1,6 +1,10 @@
 name: build
 
-on: [push, pull_request]
+on:
+  push:
+    branches:
+      - "main"
+  pull_request:
 
 jobs:
   build:

.github/workflows/coverage.yml

@@ -1,6 +1,10 @@
 name: coverage
 
-on: [pull_request]
+on:
+  push:
+    branches:
+      - "main"
+  pull_request:
 
 jobs:
   coverage:

.github/workflows/lint-soft.yml

@@ -1,6 +1,9 @@
 name: lint-soft
+
 on:
   push:
+    branches:
+      - "main"
   pull_request:
 
 permissions:

.github/workflows/lint.yml

@@ -1,6 +1,9 @@
 name: lint
+
 on:
   push:
+    branches:
+      - "main"
   pull_request:
 
 permissions: