Added global env variables for GitHub events

Author: antonwolfy

.github/workflows/build-sphinx.yml

@@ -7,8 +7,11 @@ on:
     types: [opened, synchronize, reopened, closed]
 
 env:
-  GITHUB_BOT_NAME: 'github-actions[bot]'
-  GITHUB_BOT_EMAIL: 'github-actions[bot]@users.noreply.github.com'
+  GH_BOT_NAME: 'github-actions[bot]'
+  GH_BOT_EMAIL: 'github-actions[bot]@users.noreply.github.com'
+  GH_EVENT_PR_UPSTREAM: ${{ github.event_name == 'pull_request' && github.event.pull_request && !github.event.pull_request.head.repo.fork }}
+  GH_EVENT_PUSH_UPSTREAM: ${{ github.ref == 'refs/heads/master' && github.event_name == 'push' &&
+                              github.event.ref == 'refs/heads/master' && github.event.repository && !github.event.repository.fork }}
   PUBLISH_DIR: doc/_build/html/
 
 defaults:
@@ -130,26 +133,22 @@ jobs:
         run: cp -r dpnp/backend/doc/html ${{ env.PUBLISH_DIR }}/backend_doc
 
       # https://github.com/marketplace/actions/github-pages-action
-      # The step is only used to build docs while pushing PR to "master"
+      # The step is only used to build docs while pushing a PR to "master"
       - name: Deploy docs
-        if: |
-          github.ref == 'refs/heads/master' && github.event_name == 'push' &&
-          github.event.ref == 'refs/heads/master' && github.event.repository && !github.event.repository.fork
+        if: env.GH_EVENT_PUSH_UPSTREAM
         uses: peaceiris/[email protected]
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ${{ env.PUBLISH_DIR }}
           keep_files: true
           commit_message: ${{ github.event.head_commit.message }}
           publish_branch: gh-pages
-          user_name: ${{ env.GITHUB_BOT_NAME }}
-          user_email: ${{ env.GITHUB_BOT_EMAIL }}
+          user_name: ${{ env.GH_BOT_NAME }}
+          user_email: ${{ env.GH_BOT_EMAIL }}
 
       # The step is only used to build docs while pushing to PR branch
       - name: Publish pull-request docs
-        if: |
-          github.event_name == 'pull_request' && github.event.action != 'closed' &&
-          github.event.pull_request && !github.event.pull_request.head.repo.fork
+        if: env.GH_EVENT_PR_UPSTREAM && github.event.action != 'closed'
         uses: peaceiris/[email protected]
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
@@ -159,8 +158,8 @@ jobs:
           keep_files: true
           commit_message: ${{ github.event.pull_request.title }}
           publish_branch: gh-pages
-          user_name: ${{ env.GITHUB_BOT_NAME }}
-          user_email: ${{ env.GITHUB_BOT_EMAIL }}
+          user_name: ${{ env.GH_BOT_NAME }}
+          user_email: ${{ env.GH_BOT_EMAIL }}
 
       # The step is only used to build docs while pushing to PR branch
       - name: Comment with URL to published pull-request docs
@@ -177,9 +176,7 @@ jobs:
 
   # The job is only used to build docs when PR is closed (action from PR branch)
   clean:
-    if: |
-      github.event_name == 'pull_request' && github.event.action == 'closed' &&
-      github.event.pull_request && !github.event.pull_request.head.repo.fork
+    if: env.GH_EVENT_PR_UPSTREAM && github.event.action == 'closed'
 
     needs: build-and-deploy
 
@@ -199,8 +196,8 @@ jobs:
           git checkout --track tokened_docs/gh-pages
           echo `pwd`
           [ -d pull/${PR_NUM} ] && git rm -rf pull/${PR_NUM}
-          git config --global user.name ${{ env.GITHUB_BOT_NAME }}
-          git config --global user.email ${{ env.GITHUB_BOT_EMAIL }}
+          git config --global user.name ${{ env.GH_BOT_NAME }}
+          git config --global user.email ${{ env.GH_BOT_EMAIL }}
           git commit -m "Removing docs for closed pull request ${PR_NUM}"
           git push tokened_docs gh-pages