This commit is contained in:
Diego 2024-09-04 21:50:09 +02:00
parent 81aa2bbded
commit e393835f9d
No known key found for this signature in database
GPG Key ID: C9DAC9BF68D1F806
1 changed files with 1 additions and 1 deletions

View File

@ -118,4 +118,4 @@ jobs:
fi
NIMFLAGS="${NIMFLAGS} --mm:${{ matrix.nim.memory_management }} --solver:${dependency_solver}"
nimble test
nimble test --solver:sat