Update .github/workflows/performance.yaml

Co-authored-by: Kareem Khazem <karkhaz@karkhaz.com>
diffblue · Feb 26, 2024 · c67b97f · c67b97f
1 parent 30053d5
commit c67b97f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/performance.yaml b/.github/workflows/performance.yaml
@@ -70,7 +70,7 @@ jobs:
         run: ccache -s
 
       - name: Configure using CMake (old variant)
-        run: cmake -S old/ -B old/build -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/gcc -DCMAKE_CXX_COMPILER=/usr/bin/g++ -Dsat_impl="minisat2;cadical"
+        run: cmake -S old/ -B old/build -G Ninja -DWITH_JBMC=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/gcc -DCMAKE_CXX_COMPILER=/usr/bin/g++ -Dsat_impl="minisat2;cadical"
       - name: ccache environment (old variant)
         run: echo "CCACHE_BASEDIR=$PWD/old" >> $GITHUB_ENV
       - name: Build with Ninja (old variant)