check formatting

sifive · Nov 8, 2023 · fcdb5df · fcdb5df
1 parent 182f985
commit fcdb5df
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -28,5 +28,8 @@ jobs:
         - name: Initialize wake
           run: wake --init .
 
+        - name: Check formatting
+          run: wake-format --dry-run --auto
+
         - name: Run basic test
           run: wake --in query -x 'single 5'
diff --git a/json.wake b/json.wake
@@ -15,10 +15,8 @@ from query export def QueryError makeQueryError
 
 def lookup (selectFn: a => Boolean): (list: List (Pair a b)) => List b =
     def select (Pair key value) =
-        if selectFn key then
-            Some value
-        else
-            None
+        if selectFn key then            Some value
+        else None
 
     mapPartial select