Switch CI publish branch from master to main

Author: joan38

.github/workflows/ci.yml

@@ -6,7 +6,7 @@ on:
       - v*
   push:
     branches:
-      - master
+      - main
   pull_request:
 
 jobs:
@@ -22,7 +22,7 @@ jobs:
           git config --global user.name "CI"
           ./mill __.checkStyle + __[0.12.0].test + __.docJar + __.publishLocal
       - name: Publish
-        if: github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/v') || github.event_name == 'release'
+        if: github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/v') || github.event_name == 'release'
         run: |
           echo "${{secrets.pgp_secret_key}}" > private.key
           gpg --batch --yes --import private.key