PR workflow tweak

Author: SaswatPadhi

.github/workflows/pr-build.yaml

@@ -1,4 +1,4 @@
-name: Build LaTeX document
+name: Build LaTeX (PR)
 
 on:
   pull_request:
@@ -16,13 +16,13 @@ jobs:
           working_directory: language
           root_file: sygus.tex
           pre_compile: "tlmgr update --self && tlmgr update --all"
-      - name: add artifact links to pull request and related issues step
+      - name: Comment Artifact Links on PR
         uses: tonyhallett/artifacts-url-comments@v1.1.0
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:
           prefix: PDF compilation was successful.
           suffix: (link to a compiled PDF with proposed changes)
           format: name
-          addTo: pullandissues
+          addTo: pull
           includes: language/sygus.pdf

.github/workflows/push-build.yml

@@ -1,4 +1,4 @@
-name: Build LaTeX document
+name: Build LaTeX (Push)
 
 on:
   push:

.github/workflows/tag-build.yml

@@ -1,4 +1,4 @@
-name: Build LaTeX document
+name: Build LaTeX (Tag)
 
 on:
   push: