diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml index 05b0801..f038855 100644 --- a/.github/workflows/publish.yaml +++ b/.github/workflows/publish.yaml @@ -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