CI-Build #1

Closed
joe wants to merge 13 commits from CI-Build into main
Showing only changes of commit 242292f578 - Show all commits

View File

@ -23,7 +23,10 @@ jobs:
run: echo "branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}" >> $GITHUB_OUTPUT
id: extract_branch
- name: Setup tectonic
uses: wtfjoke/setup-tectonic@v3
# uses: wtfjoke/setup-tectonic@v3
run: |
apt -y install curl
curl --proto '=https' --tlsv1.2 -fsSL https://drop-sh.fullyjustified.net |sh
- name: Compile latex
run: tectonic main.tex
- name: Rename PDF