From 06ca6b4aeee7235acee4d11d67e91e3fe3d3a236 Mon Sep 17 00:00:00 2001
From: Son Ho <hosonmarc@gmail.com>
Date: Fri, 10 Nov 2023 16:57:41 +0100
Subject: [PATCH] Update the ci.yml

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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