fix Generate policies of ci

reearth · Dec 12, 2024 · 317bfdd · 317bfdd
1 parent c5a98cf
commit 317bfdd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/.github/workflows/ci_policies.yml b/.github/workflows/ci_policies.yml
@@ -18,8 +18,7 @@ jobs:
       - name: Generate policies
         run: |
           set -e
-          make gen-policies
-          if [ $? -ne 0 ]; then
+          if ! make gen-policies; then
             echo "Policy generation failed"
             exit 1
           fi

diff --git a/.github/workflows/update_policies.yml b/.github/workflows/update_policies.yml
@@ -19,8 +19,7 @@ jobs:
       - name: Generate policies
         run: |
           set -e
-          make gen-policies
-          if [ $? -ne 0 ]; then
+          if ! make gen-policies; then
             echo "Policy generation failed"
             exit 1
           fi