ci: add example running

whitemech · Oct 23, 2024 · 805c359 · 805c359
1 parent 5626665
commit 805c359
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
@@ -40,8 +40,8 @@ jobs:
           cd submodules/slugs/src && make -j
       - name: install Syfco
         run: |
-          git clone https://github.com/reactive-systems/syfco.git
-          cd syfco
+          git clone https://github.com/reactive-systems/syfco.git syfco-repo
+          cd syfco-repo
           git checkout 50585e0
           stack install
       - name: Install Z3