From ab796b137df0d5efe1e0bcb9ec99ed131a1334c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= <maxime.denes@inria.fr>
Date: Fri, 27 Oct 2023 15:18:00 +0200
Subject: [PATCH] wip

---
 .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 2bb9deb..629a722 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -57,7 +57,7 @@ jobs:
       - name: Build jasmin-language-server
         run: |
           eval $(opam env)
-          cd dune build
+          dune build
       - name: Unit tests
         run: |
           eval $(opam env)