[CP-SAT] fix more fuzzer bugs; fix #4324 #1890
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # ref: https://github.com/actions/runner-images | |
| name: amd64 Linux CMake C++ LP_PARSER OFF | |
| on: [push, pull_request, workflow_dispatch] | |
| # Building using the github runner environement directly. | |
| jobs: | |
| native: | |
| name: Linux • CMake • LP_PARSER OFF | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Check cmake | |
| run: cmake --version | |
| - name: Configure | |
| run: > | |
| cmake -S. -Bbuild | |
| -DCMAKE_BUILD_TYPE=Release | |
| -DBUILD_DEPS=ON | |
| -DBUILD_LP_PARSER=OFF | |
| - name: Build | |
| run: > | |
| cmake --build build | |
| --config Release | |
| --target all | |
| -v -j2 | |
| - name: Test | |
| run: > | |
| CTEST_OUTPUT_ON_FAILURE=1 | |
| cmake --build build | |
| --config Release | |
| --target test | |
| -v | |
| - name: Install | |
| run: > | |
| cmake --build build | |
| --config Release | |
| --target install | |
| -v | |
| -- DESTDIR=install |