CI-Build #1

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

View File

@ -27,7 +27,7 @@ jobs:
apt -y install curl
curl --proto '=https' --tlsv1.2 -fsSL https://drop-sh.fullyjustified.net |sh
- uses: actions/cache@v3
name: Tectonic Cache
name: Tectonic cache
with:
path: ~/.cache/Tectonic
key: ${{ runner.os }}-tectonic-${{ hashFiles('**/*.tex') }}
@ -42,7 +42,7 @@ jobs:
env:
NODE_OPTIONS: '--experimental-fetch' # if nodejs < 18
with:
token: ${{ github.token }}
token: ${{ token }}
files: |-
${{ steps.extract_branch.outputs.branch }}.pdf