Switch branch to main

Author: marvinborner

.github/workflows/deploy.yml

@@ -29,7 +29,7 @@ jobs:
         with:
           submodules: 'recursive'
       - name: Install Effekt dependencies
-        uses: effekt-lang/effekt/.github/actions/setup-effekt@master
+        uses: effekt-lang/effekt/.github/actions/setup-effekt@main
       - name: Install other dependencies
         run: sudo apt-get install jq gzip
       - name: Checkout given commit
@@ -40,7 +40,7 @@ jobs:
       - name: Checkout most recent commit
         if: "${{ github.event.inputs.effekt_commit == '' }}"
         run: |
-          git -C effekt/ checkout master
+          git -C effekt/ checkout main
           git -C effekt/ pull
       - name: Install Effekt
         run: cd effekt/ && sbt install