name: Build latex and deploy
run-name: ${{ gitea.actor }} is building latex
on: [push]

jobs:
  checkout:
    runs-on: ubuntu-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'