diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1ac5dd94f..3fb2270a3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -25,4 +25,4 @@ jobs:
       #- run: sudo apt-get update && sudo apt-get install make
       # Verify
       #- run: cd tests/lean && make
-      - cd tests/lean && lake build
+      - run: cd tests/lean && lake build