[CP-SAT] add new scheduling example; improve hint preservation; add r… #1833
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 .Net | |
on: [push, pull_request, workflow_dispatch] | |
# Building using the github runner environement directly. | |
jobs: | |
native: | |
name: Linux • CMake • .Net | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
- name: Swig install | |
run: | | |
sudo apt install -y swig | |
swig -version | |
- name: Setup .NET 6.0 | |
uses: actions/setup-dotnet@v4 | |
with: | |
dotnet-version: 6.0.x | |
- name: Check dotnet | |
run: dotnet --info | |
- name: Check cmake | |
run: cmake --version | |
- name: Configure | |
run: > | |
cmake -S. -Bbuild | |
-DCMAKE_BUILD_TYPE=Release | |
-DBUILD_CXX_SAMPLES=OFF -DBUILD_CXX_EXAMPLES=OFF | |
-DBUILD_DOTNET=ON | |
-DCMAKE_INSTALL_PREFIX=install | |
- 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 |