From b4c62a3a96be11612a76bb317777613eaf7425ba Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Sat, 21 Oct 2023 15:06:02 +0200
Subject: [PATCH] added CI

---
 .gitea/workflows/build.yaml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .gitea/workflows/build.yaml

diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
new file mode 100644
index 0000000..4ba83f4
--- /dev/null
+++ b/.gitea/workflows/build.yaml
@@ -0,0 +1,19 @@
+name: Build latex and deploy
+run-name: ${{ gitea.actor }} is building latex
+on: [push]
+
+jobs:
+  checkout:
+    runs-on: latex-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: compile
+        run: make
+      - name: Prepare pages
+        run: |
+            mkdir public
+            mv build/logic2.pdf build/logic2.log README.md public
+      - name: Deploy to pages
+        uses: actions/pages@v1
+        with:
+          index-title: 'WS23/24: Logic II'