diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml index 24f5ccdf3..41730ea4f 100644 --- a/.github/workflows/osx.yml +++ b/.github/workflows/osx.yml @@ -86,7 +86,7 @@ jobs: Z3_LIBRARIES: ${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/bin/libz3.a - name: Unittests - run: - # 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. + run: | + : # 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. DYLD_LIBRARY_PATH=/usr/local/lib/ ctest --test-dir build --output-on-failure