From 253b7810fb27f934abf09d60fec939062818125b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Wed, 20 Jan 2021 21:10:24 +0100 Subject: [PATCH] Coverage; cppunit header not found when running coverage script --- .github/workflows/coverage.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index e393276f0..b5f16d499 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -18,6 +18,7 @@ jobs: sudo apt-get install libxml2-utils sudo apt-get install libz3-dev libz3-4 sudo apt-get install lcov + sudo apt-get install libcppunit-dev pip install lcov_cobertura - name: Compile instrumented