Use short SHA in artifact name

Author: WoWaster

.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