On second thought let's not build on every push

unless the push is to the main branch

Author: ghostwords

.github/workflows/build.yml

@@ -1,6 +1,11 @@
 name: Build and lint
 
-on: [pull_request, push, workflow_dispatch]
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+  workflow_dispatch:
 
 jobs:
   build: