Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m38s

This commit is contained in:
Josia Pietsch 2023-10-31 11:53:07 +01:00
commit 6c3d59bfde
Signed by: josia
GPG key ID: E70B571D66986A2D

View file

@ -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'