Skip to content

Commit bb404ed

Browse files
authored
fix(ci-daily): remove --solver flag (#1400)
1 parent 584710b commit bb404ed

2 files changed

Lines changed: 1 addition & 27 deletions

File tree

.github/workflows/daily_common.yml

Lines changed: 1 addition & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -17,11 +17,6 @@ on:
1717
required: false
1818
type: string
1919
default: "[]"
20-
use_sat_solver:
21-
description: 'Install dependencies with SAT Solver'
22-
required: false
23-
type: boolean
24-
default: false
2520

2621
concurrency:
2722
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -91,11 +86,5 @@ jobs:
9186
nim --version
9287
nimble --version
9388
94-
if [[ "${{ inputs.use_sat_solver }}" == "true" ]]; then
95-
dependency_solver="sat"
96-
else
97-
dependency_solver="legacy"
98-
fi
99-
100-
export NIMFLAGS="${NIMFLAGS} --mm:${{ matrix.nim.memory_management }} --solver:${dependency_solver}"
89+
export NIMFLAGS="${NIMFLAGS} --mm:${{ matrix.nim.memory_management }}"
10190
nimble test

.github/workflows/daily_sat.yml

Lines changed: 0 additions & 15 deletions
This file was deleted.

0 commit comments

Comments
 (0)