use sat solver for PRs when using Nim 2

This commit is contained in:
Diego 2024-09-04 20:23:00 +02:00
parent f04b2dfb3c
commit 628bfa83f4
No known key found for this signature in database
GPG Key ID: C9DAC9BF68D1F806

View File

@ -104,9 +104,18 @@ jobs:
sudo update-alternatives --set gcc /usr/bin/gcc-14
- name: Run tests
env:
NIM_BRANCH: ${{ matrix.nim.branch }}
run: |
nim --version
nimble --version
gcc --version
NIMFLAGS="${NIMFLAGS} --mm:${{ matrix.nim.memory_management }}"
if [[ "$NIM_BRANCH" == "version-2-0" ]]; then
dependency_solver="sat"
else
dependency_solver="legacy"
fi
NIMFLAGS="${NIMFLAGS} --mm:${{ matrix.nim.memory_management }} --solver:${dependency_solver}"
nimble test