Revert "ci: run ci on pull requests"

This reverts commit 9cc5a62a50.
This commit is contained in:
Paul T
2024-07-09 17:08:41 -04:00
parent 9cc5a62a50
commit 7571cffd8b

View File

@@ -1,5 +1,5 @@
name: Build documentation name: Build documentation
on: [push, workflow_dispatch, pull_request] on: [push, workflow_dispatch]
jobs: jobs:
build_pdf: build_pdf:
runs-on: ubuntu-latest runs-on: ubuntu-latest