Change build type to static

stanford-centaur · Oct 29, 2024 · a37fa98 · a37fa98
1 parent 083437d
commit a37fa98
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -77,7 +77,7 @@ jobs:
         run: ./ci-scripts/setup-${{ matrix.name }}.sh ${{ matrix.setup_opts }}
 
       - name: Configure
-        run: ./configure.sh --${{ matrix.name }} --debug --python --smtlib-reader
+        run: ./configure.sh --${{ matrix.name }} --debug --static --python --smtlib-reader
 
       - name: Build
         run: |