diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2020-10-23 22:17:02 +0200 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-11-17 10:04:13 -0800 |
| commit | 0a56b7cfd66e3d2604fb9fb0eaf1fd521604b0d4 (patch) | |
| tree | 1474291d8021370d6f99471dcc52200dc315ab0d /.github/workflows/linux_unit_tests.yaml | |
| parent | 7753d58e7e6ebb8dea08a5bb2c1618fd8c8036b1 (diff) | |
| download | spack-0a56b7cfd66e3d2604fb9fb0eaf1fd521604b0d4.tar.gz spack-0a56b7cfd66e3d2604fb9fb0eaf1fd521604b0d4.tar.bz2 spack-0a56b7cfd66e3d2604fb9fb0eaf1fd521604b0d4.tar.xz spack-0a56b7cfd66e3d2604fb9fb0eaf1fd521604b0d4.zip | |
Github actions: add CI for ASP based solver
Diffstat (limited to '.github/workflows/linux_unit_tests.yaml')
| -rw-r--r-- | .github/workflows/linux_unit_tests.yaml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/.github/workflows/linux_unit_tests.yaml b/.github/workflows/linux_unit_tests.yaml index 5bd13c3390..c66d58c284 100644 --- a/.github/workflows/linux_unit_tests.yaml +++ b/.github/workflows/linux_unit_tests.yaml @@ -117,3 +117,24 @@ jobs: git fetch origin ${{ github.ref }}:test-branch git checkout test-branch share/spack/qa/run-unit-tests + clingo: + # Test for the clingo based solver + runs-on: ubuntu-latest + container: spack/github-actions:clingo + steps: + - name: Run unit tests + run: | + whoami && echo PWD=$PWD && echo HOME=$HOME && echo SPACK_TEST_SOLVER=$SPACK_TEST_SOLVER + which clingo && clingo --version + git clone https://github.com/spack/spack.git && cd spack + git fetch origin ${{ github.ref }}:test-branch + git checkout test-branch + . share/spack/setup-env.sh + spack compiler find + spack solve mpileaks%gcc + coverage run $(which spack) test -v + coverage combine + coverage xml + - uses: codecov/codecov-action@v1 + with: + flags: unittests,linux,clingo |