Run GitHub actions for develop and main branches (#551)

xerial · web-flow · commit 2cb3f6d4d7fa · 2021-05-11T10:35:51.000-07:00
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -10,6 +10,8 @@ on:
   push:
     branches:
       - master
+      - develop
+      - main
     paths:
       - '**.scala'
       - '**.java'
