diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml new file mode 100644 index 0000000..bcacea7 --- /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/logic3.pdf build/logic3.log README.md public + - name: Deploy to pages + uses: actions/pages@v1 + with: + index-title: 'WS23/24: Logic III'