diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 7677a8c..8d5b23a 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -36,8 +36,12 @@ jobs: extra_system_packages: "font-liberation" latexmk_shell_escape: true + - name: Get short SHA for commit + id: sha_short + run: echo "sha_short=$(git rev-parse --short HEAD)" >> $GITHUB_OUTPUT + - name: Upload PDF file uses: actions/upload-artifact@v4 with: - name: FormalLanguageConstrainedReachabilityLectureNotes_latest + name: FormalLanguageConstrainedReachabilityLectureNotes_${{ steps.sha_short.outputs.sha_short }} path: tex/FormalLanguageConstrainedReachabilityLectureNotes.pdf