From 0a56b7cfd66e3d2604fb9fb0eaf1fd521604b0d4 Mon Sep 17 00:00:00 2001
From: Massimiliano Culpo <massimiliano.culpo@gmail.com>
Date: Fri, 23 Oct 2020 22:17:02 +0200
Subject: Github actions: add CI for ASP based solver

---
 .github/workflows/linux_unit_tests.yaml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

(limited to '.github')

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
-- 
cgit v1.2.3-60-g2f50