🐞 Change if check (#501)

openvinotoolkit · Aug 12, 2022 · 37bc8de · 37bc8de
1 parent bc788dd
commit 37bc8de
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/labeler.yml b/.github/labeler.yml
@@ -9,6 +9,10 @@ Config:
 Callbacks:
   - "anomalib/utils/callbacks/**/*"
 
+CI:
+  - ".github/**/*"
+  - "tox.ini"
+
 CLI:
   - "anomalib/utils/cli/**/*"
 

diff --git a/.github/workflows/pre_merge.yml b/.github/workflows/pre_merge.yml
@@ -30,7 +30,7 @@ jobs:
           # If the workflow is triggered from PR then it gets the commit id from the PR.
           # else it uses the commit id of the latest commit. This is because the commit
           # of the checked-out branch/commit does not exist in the tree as it is grafted.
-          if [[ ${{ github.event.pull_request.head.sha }} ]]
+          if [ -n "${{ github.event.pull_request.head.sha }}" ]
           then
             COMMIT_ID=${{ github.event.pull_request.head.sha }}
           else