Add build pipeline to simplify future builds

2022-11-23 11:01:18 -05:00
parent 62eaa5a298
commit 25231ff733
4 changed files with 18 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1,2 @@
+resume.dvi
+resume.log