[CP-SAT] fix fuzzer bug #1732

	# ref: https://github.com/actions/runner-images
	name: amd64 Linux CMake Java

	on: [push, pull_request, workflow_dispatch]

	# Building using the github runner environement directly.
	jobs:
	native:
	name: Linux • CMake • Java
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Swig install
	run: \|
	sudo apt install -y swig
	swig -version
	- name: Check java
	run: java -version
	- 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_JAVA=ON -DSKIP_GPG=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

Provide feedback