CI: run CI on pushes to main (#426)

Author: boxdot

.github/workflows/ci.yaml

@@ -1,6 +1,8 @@
 on:
   pull_request:
     branches: ["main"]
+  push:
+    branches: ["main"]
 
 name: ci