GITHUB_RUN_ID

rffontenelle · web-flow · commit 7df82750aaec · 2021-11-04T19:01:49.000-03:00
diff --git a/scripts/prepmsg.sh b/scripts/prepmsg.sh
@@ -5,11 +5,11 @@ set -ex
 [ $# -ne 2 ] && ( echo "Expected 1 input and 1 output files, got $#"; exit; )
 [ ! -f $1 ]  && ( echo "Input file $1 not found, skipping."; exit; )
 [ -z "${GITHUB_REPOSITORY}" ] && (echo "GITHUB_REPOSITORY is empty."; exit 1;)
-[ -z "${GITHUB_RUN_NUMBER}" ] && (echo "GITHUB_RUN_NUMBER is empty."; exit 1;)
+[ -z "${GITHUB_RUN_ID}" ] && (echo "GITHUB_RUN_ID is empty."; exit 1;)
 [ -z "${GITHUB_JOB}" ] && (echo "GITHUB_JOB is empty."; exit 1;)
 
-URL="https://github.com/${GITHUB_REPOSITORY}/actions/runs/${GITHUB_RUN_NUMBER}"
-echo "❌ *${GITHUB_JOB}* ([ID&nbsp;*${GITHUB_RUN_NUMBER}*]($URL)):" > $2
+URL="https://github.com/${GITHUB_REPOSITORY}/actions/runs/${GITHUB_RUN_ID}"
+echo "❌ *${GITHUB_JOB}* ([ID&nbsp;*${GITHUB_RUN_ID}*]($URL)):" > $2
 grep 'cpython/Doc/.*WARNING:' $1 | \
       sed 's|.*/cpython/Doc|Doc|' | \
       uniq | \
