undo

Author: tcompa

.github/workflows/documentation.yaml

@@ -82,7 +82,7 @@ jobs:
       - run: ls -lh site/*
 
       - name: Deploy docs
-        # if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
+        if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
         uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}