Skip to content

Commit

Permalink
Fix comment
Browse files Browse the repository at this point in the history
  • Loading branch information
cnheitman committed Dec 20, 2024
1 parent d0ac836 commit 753d5c6
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/osx.yml
Original file line number Diff line number Diff line change
Expand Up @@ -85,8 +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

# 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: |
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

0 comments on commit 753d5c6

Please sign in to comment.