Add more GitHub environment variables to demo.

FranzDiebold · Nov 29, 2020 · 5ec21e5 · 5ec21e5
1 parent b424438
commit 5ec21e5
Showing 1 changed file with 6 additions and 12 deletions.
diff --git a/.github/workflows/demo.yml b/.github/workflows/demo.yml
@@ -29,13 +29,11 @@ jobs:
           echo "GITHUB_REPOSITORY=$GITHUB_REPOSITORY"
           echo "GITHUB_SHA=$GITHUB_SHA"
           echo "GITHUB_REF=$GITHUB_REF"
-          echo "GITHUB_ACTION=$GITHUB_ACTION"
-          echo "GITHUB_EVENT_NAME=$GITHUB_EVENT_NAME"
-          echo "GITHUB_EVENT_PATH=$GITHUB_EVENT_PATH"
-          echo "GITHUB_WORKSPACE=$GITHUB_WORKSPACE"
           echo "GITHUB_HEAD_REF=$GITHUB_HEAD_REF"
           echo "GITHUB_BASE_REF=$GITHUB_BASE_REF"
           echo "GITHUB_RUN_ID=$GITHUB_RUN_ID"
+          echo "GITHUB_EVENT_NAME=$GITHUB_EVENT_NAME"
+          echo "GITHUB_ACTION=$GITHUB_ACTION"
 
   windows:
     name: Windows Demo
@@ -63,13 +61,11 @@ jobs:
           echo "GITHUB_REPOSITORY=$Env:GITHUB_REPOSITORY"
           echo "GITHUB_SHA=$Env:GITHUB_SHA"
           echo "GITHUB_REF=$Env:GITHUB_REF"
-          echo "GITHUB_ACTION=$Env:GITHUB_ACTION"
-          echo "GITHUB_EVENT_NAME=$Env:GITHUB_EVENT_NAME"
-          echo "GITHUB_EVENT_PATH=$Env:GITHUB_EVENT_PATH"
-          echo "GITHUB_WORKSPACE=$Env:GITHUB_WORKSPACE"
           echo "GITHUB_HEAD_REF=$Env:GITHUB_HEAD_REF"
           echo "GITHUB_BASE_REF=$Env:GITHUB_BASE_REF"
           echo "GITHUB_RUN_ID=$Env:GITHUB_RUN_ID"
+          echo "GITHUB_EVENT_NAME=$Env:GITHUB_EVENT_NAME"
+          echo "GITHUB_ACTION=$Env:GITHUB_ACTION"
 
   macos:
     name: macOS Demo
@@ -97,10 +93,8 @@ jobs:
           echo "GITHUB_REPOSITORY=$GITHUB_REPOSITORY"
           echo "GITHUB_SHA=$GITHUB_SHA"
           echo "GITHUB_REF=$GITHUB_REF"
-          echo "GITHUB_ACTION=$GITHUB_ACTION"
-          echo "GITHUB_EVENT_NAME=$GITHUB_EVENT_NAME"
-          echo "GITHUB_EVENT_PATH=$GITHUB_EVENT_PATH"
-          echo "GITHUB_WORKSPACE=$GITHUB_WORKSPACE"
           echo "GITHUB_HEAD_REF=$GITHUB_HEAD_REF"
           echo "GITHUB_BASE_REF=$GITHUB_BASE_REF"
           echo "GITHUB_RUN_ID=$GITHUB_RUN_ID"
+          echo "GITHUB_EVENT_NAME=$GITHUB_EVENT_NAME"
+          echo "GITHUB_ACTION=$GITHUB_ACTION"