add CI for tex

.gitignore

@@ -1,6 +1,5 @@
 # agda 
 *.agdai
-*.pdf
 *.log
 Everything.agda
 public/
@@ -18,7 +17,6 @@ public/
 .*.swp
 .#*
 *~
-*.pdf
 # AUTOGENERATED
 # All wildcards below this marker are used to remove generated files in
 # 'make clean'
@@ -26,7 +24,7 @@ public/
 *.fdb_latexmk
 *.log
 *.out
-*.pdf
+thesis/*.pdf
 *.synctex.gz
 *.toc
 *.bbl

.gitlab-ci.yml

@@ -0,0 +1,13 @@
+variables:
+  LATEX_IMAGE: listx/texlive:2020
+
+build:
+  image: $LATEX_IMAGE
+  script:
+    - cd thesis
+    - latexmk -pdf main.tex
+
+  artifacts:
+    paths:
+      - "thesis/*.pdf"
+

thesis/.vscode/settings.json

@@ -20,6 +20,6 @@
     "tools": [
       "latexmk-main"
     ]
-  },
+  }
 ]
-}
+}