fix bash

OffchainLabs · Sep 13, 2024 · 55109fc · 55109fc
1 parent 3321cc4
commit 55109fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/submodule-pin-check.yml b/.github/workflows/submodule-pin-check.yml
@@ -43,7 +43,7 @@ jobs:
               divergent=1
             fi
           done
-          if $divergent then
+          if $divergent; then
             status_state="success"
           else
             resp="$(curl -sSL --fail-with-body \