CI: forgot a $

ibex-team · Mar 15, 2024 · 869dc43 · 869dc43
1 parent 642258e
commit 869dc43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -12,7 +12,7 @@ jobs:
         run: |
           mkdir build
           cd build
-          cmake -DINTERVAL_LIB=${{ matrix.interval_lib }} -DLP_LIB={{ matrix.lp_lib }} ..
+          cmake -DINTERVAL_LIB=${{ matrix.interval_lib }} -DLP_LIB=${{ matrix.lp_lib }} ..
       - run: make
       - run: make check
     strategy: