run pdf action on pull_request (#1064)

This commit is contained in:
Tommy Ekstrand 2024-02-29 20:04:51 -06:00 committed by GitHub
parent 589fc897df
commit 51e4689dc6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,14 +1,9 @@
name: Generate Documentation PDF
on:
# # Triggers the workflow on push but only for the master branch
push:
branches: [master]
pull_request:
types:
- closed
# Note: This is different from "pull_request". Need to specify ref when doing checkouts.
pull_request_target:
branches: [master]
paths-ignore:
- "**.md"
jobs:
build:
runs-on: ubuntu-latest