CI-Build #1

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

View File

@ -14,7 +14,7 @@ on: push
# Jobs are run in parallel
jobs:
# This is our one and only job
test:
publish:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
@ -22,8 +22,9 @@ jobs:
shell: bash
run: echo "branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}" >> $GITHUB_OUTPUT
id: extract_branch
- name: Tectonic Publish
- name: Setup tectonic
uses: wtfjoke/setup-tectonic@v3
- name: Compile latex
run: tectonic main.tex
- name: Rename PDF
run: mv main.pdf ${{ steps.extract_branch.outputs.branch }}.pdf