ci: Build for Release on Linux

3 years ago · 2806cc00cb
parent 3c6679f927
commit 2806cc00cb
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -49,7 +49,7 @@ jobs:
      run: |
        mkdir build
        cd build
-        cmake .. -DINCLUDE_TOOL=y -DCMAKE_INSTALL_PREFIX=/usr
+        cmake .. -DINCLUDE_TOOL=y -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=Release
        make bddisasm bdshemu -j$(nproc)
        cd -
    - name: Build disasmtool_lix