chore: do not trigger documentation workflow on PR

Author: V-Francois

.github/workflows/docs.yml

@@ -5,7 +5,6 @@ on:
     branches:
       - main
     tags: '*'
-  pull_request:
 
 jobs:
   build:
@@ -30,4 +29,4 @@ jobs:
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: julia --project=docs docs/make.jl
+        run: julia --project=docs docs/make.jl