Add a Github Actions job to build a pdf.#8

joshayers wants to merge 4 commits intoCMUBuggy:masterCMUBuggy/rules:masterfrom

joshayers:github_action_build_pdfjoshayers/buggy_rules:github_action_build_pdfCopy head branch name to clipboard