added CI
Build latex and deploy / checkout (push) Successful in 1m55s Details

This commit is contained in:
Josia Pietsch 2023-10-21 15:02:05 +02:00
parent f838245711
commit 41be223621
Signed by: josia
GPG Key ID: E70B571D66986A2D
1 changed files with 19 additions and 0 deletions

View File

@ -0,0 +1,19 @@
name: Build latex and deploy
run-name: ${{ }} is building latex
on: [push]
runs-on: latex-latest
- uses: actions/checkout@v3
- name: compile
run: make
- name: Prepare pages
run: |
mkdir public
mv build/logic3.pdf build/logic3.log public
- name: Deploy to pages
uses: actions/pages@v1
index-title: 'WS23/24: Logic III'