From 772e0210885124e4704926674a7b28e70055a848 Mon Sep 17 00:00:00 2001 From: Nikolai Ponomarev Date: Sun, 27 Oct 2024 11:48:00 +0300 Subject: [PATCH 1/2] Run PDF generation on dev branch too --- .github/workflows/main.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6380da9..7677a8c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -6,6 +6,7 @@ on: # PRs can only use caches from their target branch. We therefore need to # make sure we run on 'main' too. - main + - dev pull_request: concurrency: From 3c94e918c5042d7cbf7d487c9d20d714301fd3a8 Mon Sep 17 00:00:00 2001 From: Nikolai Ponomarev Date: Sun, 27 Oct 2024 13:41:21 +0300 Subject: [PATCH 2/2] 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