diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-02-24 21:33:14 +0100 |
|---|---|---|
| committer | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-05-21 15:09:08 +0200 |
| commit | 2a4d2f905cdc4e65839fdcf0075e822d64d0f0a5 (patch) | |
| tree | 6412fa6be608471ff21fcab877fd143744100851 /etc | |
| parent | 14e179398fc8dcfc58ff7f9b95506ccc9aab3359 (diff) | |
| download | spack-2a4d2f905cdc4e65839fdcf0075e822d64d0f0a5.tar.gz spack-2a4d2f905cdc4e65839fdcf0075e822d64d0f0a5.tar.bz2 spack-2a4d2f905cdc4e65839fdcf0075e822d64d0f0a5.tar.xz spack-2a4d2f905cdc4e65839fdcf0075e822d64d0f0a5.zip | |
Run clingo-cffi tests in a container (#21913)
There clingo-cffi job has two issues to be solved:
1. It uses the default concretizer
2. It requires a package from https://test.pypi.org/simple/
The former can be fixed by setting the SPACK_TEST_SOLVER
environment variable to "clingo".
The latter though requires clingo-cffi to be pushed to a
more stable package index (since https://test.pypi.org/simple/
is meant as a scratch version of PyPI that can be wiped at
any time).
For the time being run the tests in a container. Switch back to
PyPI whenever a new official version of clingo will be released.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions