fix: branch name for Netlify deployment (#20)

leanprover · Aug 10, 2024 · 81d643e · 81d643e
1 parent 799dee3
commit 81d643e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -95,7 +95,7 @@ jobs:
         uses: nwtgck/[email protected]
         with:
           publish-dir: _out/html-multi
-          production-branch: master
+          production-branch: main
           github-token: ${{ secrets.GITHUB_TOKEN }}
           deploy-message: |
             ${{ github.event_name == 'pull_request' && format('pr#{0}: {1}', github.event.number, github.event.pull_request.title) || format('ref/{0}: {1}', github.ref_name, steps.deploy-info.outputs.message) }}