Revert "ci: run ci on pull requests"

This reverts commit 9cc5a62.
DeveloperPaul123 · Jul 9, 2024 · 7571cff · 7571cff
1 parent 9cc5a62
commit 7571cff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-documentation.yml b/.github/workflows/build-documentation.yml
@@ -1,5 +1,5 @@
 name: Build documentation
-on: [push, workflow_dispatch, pull_request]
+on: [push, workflow_dispatch]
 jobs:
   build_pdf:
     runs-on: ubuntu-latest