Add GITHUB_RUN_NUMBER to demo.

FranzDiebold · Nov 29, 2020 · e7131d9 · e7131d9
1 parent 5ec21e5
commit e7131d9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/demo.yml b/.github/workflows/demo.yml
@@ -34,6 +34,7 @@ jobs:
           echo "GITHUB_RUN_ID=$GITHUB_RUN_ID"
           echo "GITHUB_EVENT_NAME=$GITHUB_EVENT_NAME"
           echo "GITHUB_ACTION=$GITHUB_ACTION"
+          echo "GITHUB_RUN_NUMBER=$GITHUB_RUN_NUMBER"
 
   windows:
     name: Windows Demo
@@ -66,6 +67,7 @@ jobs:
           echo "GITHUB_RUN_ID=$Env:GITHUB_RUN_ID"
           echo "GITHUB_EVENT_NAME=$Env:GITHUB_EVENT_NAME"
           echo "GITHUB_ACTION=$Env:GITHUB_ACTION"
+          echo "GITHUB_RUN_NUMBER=$Env:GITHUB_RUN_NUMBER"
 
   macos:
     name: macOS Demo
@@ -98,3 +100,4 @@ jobs:
           echo "GITHUB_RUN_ID=$GITHUB_RUN_ID"
           echo "GITHUB_EVENT_NAME=$GITHUB_EVENT_NAME"
           echo "GITHUB_ACTION=$GITHUB_ACTION"
+          echo "GITHUB_RUN_NUMBER=$GITHUB_RUN_NUMBER"