Add a push trigger on main.yml

Author: craff

.github/workflows/main.yml

@@ -3,6 +3,7 @@ name: build
 on:
   pull_request:
   push:
+    - branches: [master]
   schedule:
     # Prime the caches every Monday
     - cron: 0 1 * * MON