/.github/{scripts,workflows}: some adjustments for pr comments

.github/scripts/sql-correctness/get-dolt-correctness-job-json.sh

@@ -3,7 +3,7 @@
 set -e
 
 if [ "$#" -lt 6 ]; then
-    echo  "Usage: ./get-dolt-correctness-job-json.sh <jobname> <fromVersion> <toVersion> <timeprefix> <actorprefix> <format> <nomsBinFormat>"
+    echo  "Usage: ./get-dolt-correctness-job-json.sh <jobname> <fromVersion> <toVersion> <timeprefix> <actorprefix> <format> <nomsBinFormat> <issueNumber>"
     exit 1
 fi
 
@@ -14,6 +14,7 @@ timeprefix="$4"
 actorprefix="$5"
 format="$6"
 nomsBinFormat="$7"
+issueNumber="$8"
 
 precision="6"
 

.github/scripts/sql-correctness/get-dolt-regressions-job-json.sh

@@ -3,7 +3,7 @@
 set -e
 
 if [ "$#" -lt 6 ]; then
-    echo  "Usage: ./get-dolt-correctness-job-json.sh <jobname> <fromVersion> <toVersion> <timeprefix> <actorprefix> <format> <nomsBinFormat>"
+    echo  "Usage: ./get-dolt-correctness-job-json.sh <jobname> <fromVersion> <toVersion> <timeprefix> <actorprefix> <format> <nomsBinFormat> <issueNumber>"
     exit 1
 fi
 
@@ -14,6 +14,7 @@ timeprefix="$4"
 actorprefix="$5"
 format="$6"
 nomsBinFormat="$7"
+issueNumber="$8"
 
 precision="6"
 

.github/scripts/sql-correctness/run-correctness.sh

@@ -76,6 +76,10 @@ if [[ "$MODE" = "release" || "$MODE" = "nightly" ]]; then
   format="html"
 fi
 
+# set value to PR_NUMBER environment variable
+# or default to -1
+issuenumber=${PR_NUMBER:-"-1"}
+
 source \
   "$TEMPLATE_SCRIPT" \
   "$jobname" \
@@ -84,7 +88,8 @@ source \
   "$timeprefix" \
   "$actorprefix" \
   "$format" \
-  "$NOMS_BIN_FORMAT" > job.json
+  "$NOMS_BIN_FORMAT" \
+  "$issuenumber" > job.json
 
 # delete existing job with same name if this is a regressions job
 if [ -z "$is_regressions" ]; then