勿論CircleCI
LaTeXに変換できるかチェックと、masterブランチならPDFに変換してattachmentに保存、Slackに保存先を通知。あとはtextlintで校正。