fix ci.yml formatting

cedar-policy · Nov 1, 2023 · a9ed584 · a9ed584
1 parent 4147ca8
commit a9ed584
Showing 1 changed file with 10 additions and 9 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -127,12 +127,13 @@ jobs:
       - name: Test
         working-directory: ./cedar-lean
         shell: bash
-        run: source ~/.profile && if (lake exe CedarUnitTests | grep "FAILED") then
-    echo "A unit test failed"
-    lake exe CedarUnitTests
-    return 1
-else
-    echo "Unit tests passed"
-    return 0
-fi
-
+        run: |
+          source ~/.profile && \
+          if (lake exe CedarUnitTests | grep "FAILED") then \
+            echo "A unit test failed" \
+            lake exe CedarUnitTests \
+            return 1 \
+          else \
+            echo "Unit tests passed" \
+            return 0 \
+          fi \