diff options
-rw-r--r-- | .github/workflows/build.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 38dbb13..328714e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -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 "" |