[ci] Ignore CI for push events on dev branches

Author: wuchong

.github/workflows/ci.yaml

@@ -16,6 +16,10 @@
 name: Tests on JDK 8
 on:
   push:
+    branches:
+      - main
+      - release-**
+      - ci-**
   pull_request:
     paths-ignore:
       - 'website/**'