summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorMassimiliano Culpo <massimiliano.culpo@gmail.com>2020-10-23 22:17:02 +0200
committerTodd Gamblin <tgamblin@llnl.gov>2020-11-17 10:04:13 -0800
commit0a56b7cfd66e3d2604fb9fb0eaf1fd521604b0d4 (patch)
tree1474291d8021370d6f99471dcc52200dc315ab0d /.github/workflows
parent7753d58e7e6ebb8dea08a5bb2c1618fd8c8036b1 (diff)
downloadspack-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')
-rw-r--r--.github/workflows/linux_unit_tests.yaml21
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