diff --git a/.github/workflows/daily_common.yml b/.github/workflows/daily_common.yml index 0b2e0d619..be8f22cec 100644 --- a/.github/workflows/daily_common.yml +++ b/.github/workflows/daily_common.yml @@ -17,6 +17,11 @@ 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 }} @@ -86,4 +91,12 @@ jobs: run: | nim --version nimble --version - NIMFLAGS="${NIMFLAGS} --mm:${{ matrix.nim.memory_management }}" nimble test + + if [[ "${{ inputs.use_sat_solver }}" == "true" ]]; then + dependency_solver="sat" + else + dependency_solver="legacy" + fi + + NIMFLAGS="${NIMFLAGS} --mm:${{ matrix.nim.memory_management }} --solver:${dependency_solver}" + nimble test diff --git a/.github/workflows/daily_sat.yml b/.github/workflows/daily_sat.yml new file mode 100644 index 000000000..f9bb9d7ff --- /dev/null +++ b/.github/workflows/daily_sat.yml @@ -0,0 +1,15 @@ +name: Daily SAT + +on: + schedule: + - cron: "30 6 * * *" + workflow_dispatch: + +jobs: + test_amd64: + name: Daily SAT + uses: ./.github/workflows/daily_common.yml + with: + nim: "[{'branch': 'version-2-0', 'memory_management': 'refc'}]" + cpu: "['amd64']" + use_sat_solver: true