From 628bfa83f4e3e6bc932647d201bd3f6f102d3546 Mon Sep 17 00:00:00 2001 From: Diego Date: Wed, 4 Sep 2024 20:23:00 +0200 Subject: [PATCH] use sat solver for PRs when using Nim 2 --- .github/workflows/ci.yml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index fcc8ed1cf..2687c4395 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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