Skip to content

Commit

Permalink
No need to run PDF builds on pull requests
Browse files Browse the repository at this point in the history
  • Loading branch information
dend committed May 17, 2023
1 parent 65e1034 commit 132d910
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions .github/workflows/makepdf.yml
Original file line number Diff line number Diff line change
@@ -1,10 +1,6 @@
name: "Build"

on:
pull_request:
paths-ignore:
- '**/*.gitignore'
- '**/*.gitattributes'
push:
paths-ignore:
- '**/*.gitignore'
Expand Down

0 comments on commit 132d910

Please sign in to comment.