Merge pull request #3 from objectionary/fix-lean-workflow

Fix: Publish docs on master (was main)

.github/workflows/lean.yml

@@ -44,7 +44,7 @@ jobs:
           lake -R -Kenv=dev build PhiCalculus:docs
 
       - name: '🚀 Publish Documentation'
-        if: ${{ github.ref_name == 'main' && github.event_name == 'push' }}
+        if: ${{ github.ref_name == 'master' && github.event_name != 'pull_request' }}
         uses: JamesIves/github-pages-deploy-action@v4
         with:
           token: ${{ secrets.GITHUB_TOKEN }}