ci: run ci on pull requests

This commit is contained in:
Paul T
2024-07-09 17:07:33 -04:00
parent fc3347ae75
commit 9cc5a62a50

View File

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