From 3c94e918c5042d7cbf7d487c9d20d714301fd3a8 Mon Sep 17 00:00:00 2001 From: Nikolai Ponomarev Date: Sun, 27 Oct 2024 13:41:21 +0300 Subject: [PATCH] Use short SHA in artifact name --- .github/workflows/main.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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