diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml index 3635bcb67..f9f0dff96 100644 --- a/.github/workflows/osx.yml +++ b/.github/workflows/osx.yml @@ -2,9 +2,6 @@ name: Tests on OSX on: [push, pull_request, workflow_dispatch] -# NOTE Tests will fail because currently they only pass with Unicorn -# v2.0.0. However, Unicorn v2.0.0 does not build on the macos-14 runner. - jobs: build: # macos-13 = x86 @@ -88,6 +85,8 @@ jobs: Z3_INCLUDE_DIRS: ${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/include Z3_LIBRARIES: ${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/bin/libz3.a - - name: Unittests - run: | - DYLD_LIBRARY_PATH=/usr/local/lib/ ctest --test-dir build --output-on-failure + # NOTE Tests will fail because currently they only pass with Unicorn + # v2.0.0. However, Unicorn v2.0.0 does not build on the macos-14 runner. + - name: Unittests + run: | + DYLD_LIBRARY_PATH=/usr/local/lib/ ctest --test-dir build --output-on-failure