Rename master branch to main in CI

Author: anatoliykmetyuk

.github/workflows/ci.yaml

@@ -122,7 +122,7 @@ jobs:
     runs-on: [self-hosted, Windows]
     if: "(
            github.event_name == 'push'
-           && github.ref != 'refs/heads/master'
+           && github.ref != 'refs/heads/main'
          )
          || (
            github.event_name == 'pull_request'

.github/workflows/scaladoc.yaml

@@ -13,7 +13,7 @@ jobs:
            && !contains(github.event.pull_request.body, '[skip docs]')
          )
          || contains(github.event.ref, 'scaladoc')
-         || contains(github.event.ref, 'master')"
+         || contains(github.event.ref, 'main')"
 
     steps:
       - name: Git Checkout
@@ -82,7 +82,7 @@ jobs:
          )
          || contains(github.event.ref, 'scaladoc')
          || contains(github.event.ref, 'scala3doc')
-         || contains(github.event.ref, 'master'))"
+         || contains(github.event.ref, 'main'))"
 
     steps:
       - name: Git Checkout

README.md

@@ -1,6 +1,6 @@
 Dotty
 =====
-[![Dotty CI](https://github.com/lampepfl/dotty/workflows/Dotty/badge.svg?branch=master)](https://github.com/lampepfl/dotty/actions?query=branch%3Amaster)
+[![Dotty CI](https://github.com/lampepfl/dotty/workflows/Dotty/badge.svg?branch=master)](https://github.com/lampepfl/dotty/actions?query=branch%3Amain)
 [![Join the chat at https://discord.com/invite/scala](https://img.shields.io/discord/632150470000902164)](https://discord.com/invite/scala)
 
 * [Homepage](https://dotty.epfl.ch)