Update Unicorn

cnheitman · Dec 20, 2024 · 8458a2a · 8458a2a
1 parent d6fcd67
commit 8458a2a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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