add printing CI_PR_NUMBER and CI_PR_ID into the demo workflow

FranzDiebold · Jul 6, 2022 · 16fae30 · 16fae30
1 parent ad0bd50
commit 16fae30
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/demo.yml b/.github/workflows/demo.yml
@@ -28,6 +28,8 @@ jobs:
           echo "CI_BASE_REF=$CI_BASE_REF"
           echo "CI_SHA_SHORT=$CI_SHA_SHORT"
           echo "CI_SHA=$CI_SHA"
+          echo "CI_PR_NUMBER=$CI_PR_NUMBER"
+          echo "CI_PR_ID=$CI_PR_ID"
           echo "CI_PR_TITLE=$CI_PR_TITLE"
           echo "CI_PR_DESCRIPTION=$CI_PR_DESCRIPTION"
           echo "CI_ACTOR=$CI_ACTOR"