Run latex build both on push and pull request. (#91) * Run latex build both on push and pull request. This should allow us to preview latex updates in PDF form before they are merged.
Run latex build both on push and pull request. (#91) * Run latex build both on push and pull request. This should allow us to preview latex updates in PDF form before they are merged.