w23-logic-2/.gitea/workflows/build.yaml

20 lines
459 B
YAML
Raw Permalink Normal View History

2023-10-17 21:03:49 +02:00
name: Build latex and deploy
run-name: ${{ gitea.actor }} is building latex
on: [push]
jobs:
checkout:
2023-10-17 23:48:12 +02:00
runs-on: latex-latest
2023-10-17 21:03:49 +02:00
steps:
- uses: actions/checkout@v3
- name: compile
run: make
- name: Prepare pages
run: |
mkdir public
2024-02-14 18:44:32 +01:00
mv build/*.pdf build/*.log README.md public
2023-10-17 21:03:49 +02:00
- name: Deploy to pages
uses: actions/pages@v1
with:
index-title: 'WS23/24: Logic II'