python
diff --git a/‎.github/workflows/build.yml
Copy file name to clipboardExpand all lines: .github/workflows/build.yml
+1-2Lines changed: 1 addition & 2 deletions b/‎.github/workflows/build.yml
Copy file name to clipboardExpand all lines: .github/workflows/build.yml
+1-2Lines changed: 1 addition & 2 deletions
@@ -84,8 +84,7 @@ jobs:
           make -j4
       - name: Check for changes in the ABI
         run: |
-          make check-abidump
-          if [ $? -neq 0 ] ; then
+          if ! make check-abidump; then
             echo "Generated ABI file is not up to date."
             echo "Please, add the release manager of this branch as a reviewer of this PR."
             echo ""