[CP-SAT] fix more fuzzer bugs; fix #4324 #2489

	# ref: https://toolchains.bootlin.com/
	name: aarch64 Toolchain

	on: [push, pull_request, workflow_dispatch]

	# Building using the github runner environement directly.
	jobs:
	aarch64:
	strategy:
	matrix:
	targets: [aarch64, aarch64be]
	fail-fast: false
	name: Linux • Toolchain ${{ matrix.targets }}
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Build env stage
	run: make --directory=cmake toolchain_${{ matrix.targets }}_env
	- name: Build devel stage
	run: make --directory=cmake toolchain_${{ matrix.targets }}_devel
	- name: Build build stage
	run: make --directory=cmake toolchain_${{ matrix.targets }}_build
	- name: Build Test stage
	run: make --directory=cmake toolchain_${{ matrix.targets }}_test

Provide feedback