CI: fix working directory problem

ibex-team · Mar 15, 2024 · 9ca9d75 · 9ca9d75
1 parent 869dc43
commit 9ca9d75
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -13,8 +13,14 @@ jobs:
           mkdir build
           cd build
           cmake -DINTERVAL_LIB=${{ matrix.interval_lib }} -DLP_LIB=${{ matrix.lp_lib }} ..
-      - run: make
-      - run: make check
+      - name: make
+        run: |
+          cd build
+          make
+      - name: make check
+        run: |
+          cd build
+          make check
     strategy:
       matrix:
         interval_lib: [gaol, filib]