From e2aec95fc9fdae425d2cfbd1210916c159ebf63a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Wed, 13 May 2020 05:03:32 +0200 Subject: [PATCH] Try to make github actions happy --- .github/workflows/CI-unixish.yml | 2 ++ .github/workflows/coverage.yml | 1 + 2 files changed, 3 insertions(+) diff --git a/.github/workflows/CI-unixish.yml b/.github/workflows/CI-unixish.yml index 0580620b0..95e94d27c 100644 --- a/.github/workflows/CI-unixish.yml +++ b/.github/workflows/CI-unixish.yml @@ -23,6 +23,7 @@ jobs: sudo apt-get update sudo apt-get install libxml2-utils sudo apt-get install z3 libz3-dev + cp externals/z3_version_old.h externals/z3_version.h - name: Install missing software on macos if: matrix.os == 'macos-latest' @@ -37,6 +38,7 @@ jobs: - name: Build cppcheck run: | + cp externals/z3_version_old.h externals/z3_version.h make -j2 USE_Z3=yes HAVE_RULES=yes - name: Build test diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 175cc9045..446bdf57d 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -22,6 +22,7 @@ jobs: - name: Compile instrumented run: | + cp externals/z3_version_old.h externals/z3_version.h make test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes HAVE_RULES=yes -j$(nproc) - name: Generate coverage report