Move to own version of setup-tectonic

2024-06-05 19:06:23 +01:00
parent 1c5fab6d8c
commit 2a19c9d714
1 changed files with 1 additions and 1 deletions
@@ -23,7 +23,7 @@ jobs:
          restore-keys: |
            ${{ runner.os }}-tectonic-

-      - uses: wtfjoke/setup-tectonic@v3
+      - uses: joshuacoles/setup-tectonic@master
        with:
          github-token: ${{ secrets.GITHUB_TOKEN }}
      - name: Run Tectonic