message: CI: Don't deploy docs on pull requests
diff: @@ -62,6 +62,7 @@ jobs:
  run: mv dark light/
  - name: Deploy Documents to Github Pages
  + if: github.event_name == 'push'
  uses: JamesIves/github-pages-deploy-action@3.7.1
  with:
  GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
  