From b3febc9fbd4b525a0f1b9ed3886b3b35cdbf5a54 Mon Sep 17 00:00:00 2001 From: Hannes Steffenhagen Date: Fri, 7 Aug 2020 16:24:51 +0100 Subject: [PATCH 1/2] Add github action CI for the make build on Catalina --- .github/workflows/pull-request-checks.yaml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index d1510641cb0..db1768775d3 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -4,6 +4,24 @@ on: branches: [ develop ] jobs: + check-macos-10_15-make-clang: + runs-on: macos-10.15 + steps: + - uses: actions/checkout@v2 + with: + submodules: true + - name: Fetch dependencies + run: brew install maven flex bison + - name: Build using Make + run: | + make -C src minisat2-download + make -C src + make -C unit + - name: Run unit tests + run: cd unit; ./unit_tests + - name: Run regression tests + run: cd regression; make + check-macos-10_15-cmake-clang: runs-on: macos-10.15 steps: From dea65eaadfa809e67e5fb89125b516a5579572c9 Mon Sep 17 00:00:00 2001 From: Hannes Steffenhagen Date: Thu, 13 Aug 2020 12:06:06 +0100 Subject: [PATCH 2/2] Add JBMC testing to Catalina Make CI --- .github/workflows/pull-request-checks.yaml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index db1768775d3..0594bf3ad8e 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -16,11 +16,17 @@ jobs: run: | make -C src minisat2-download make -C src + make -C jbmc/src make -C unit + make -C jbmc/unit - name: Run unit tests run: cd unit; ./unit_tests + - name: Run JBMC unit tests + run: cd jbmc/unit; ./unit_tests - name: Run regression tests run: cd regression; make + - name: Run JBMC regression tests + run: cd jbmc/regression; make check-macos-10_15-cmake-clang: runs-on: macos-10.15