From 242292f578be321e957c3cf674d6a620884e076e Mon Sep 17 00:00:00 2001 From: Joe bellus Date: Mon, 10 Mar 2025 18:41:26 -0400 Subject: [PATCH] Switched to direct tectonic download --- .github/workflows/publish.yaml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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