From bb404eda4af42809cb4d0c11e03a3f7a71f6f4c1 Mon Sep 17 00:00:00 2001
From: vladopajic <vladopajic@users.noreply.github.com>
Date: Mon, 26 May 2025 16:48:51 +0200
Subject: [PATCH] fix(ci-daily): remove --solver flag (#1400)

---
 .github/workflows/daily_common.yml | 13 +------------
 .github/workflows/daily_sat.yml    | 15 ---------------
 2 files changed, 1 insertion(+), 27 deletions(-)
 delete mode 100644 .github/workflows/daily_sat.yml

diff --git a/.github/workflows/daily_common.yml b/.github/workflows/daily_common.yml
index 5928d465f..dc9c00009 100644
--- a/.github/workflows/daily_common.yml
+++ b/.github/workflows/daily_common.yml
@@ -17,11 +17,6 @@ on:
         required: false
         type: string
         default: "[]"
-      use_sat_solver:
-        description: 'Install dependencies with SAT Solver'
-        required: false
-        type: boolean
-        default: false
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -91,11 +86,5 @@ jobs:
           nim --version
           nimble --version
 
-          if [[ "${{ inputs.use_sat_solver }}" == "true" ]]; then
-            dependency_solver="sat"
-          else
-            dependency_solver="legacy"
-          fi
-
-          export NIMFLAGS="${NIMFLAGS} --mm:${{ matrix.nim.memory_management }} --solver:${dependency_solver}"
+          export NIMFLAGS="${NIMFLAGS} --mm:${{ matrix.nim.memory_management }}"
           nimble test
diff --git a/.github/workflows/daily_sat.yml b/.github/workflows/daily_sat.yml
deleted file mode 100644
index 5f9876acd..000000000
--- a/.github/workflows/daily_sat.yml
+++ /dev/null
@@ -1,15 +0,0 @@
-name: Daily SAT
-
-on:
-  schedule:
-    - cron: "30 6 * * *"
-  workflow_dispatch:
-
-jobs:
-  test_amd64:
-    name: Daily SAT
-    uses: ./.github/workflows/daily_common.yml
-    with:
-      nim: "[{'ref': 'version-2-0', 'memory_management': 'refc'}]"
-      cpu: "['amd64']"
-      use_sat_solver: true