Update test-pr-macos.yml

runtimeverification · Sep 28, 2023 · 49e6fbf · 49e6fbf
1 parent 3f0a355
commit 49e6fbf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test-pr-macos.yml b/.github/workflows/test-pr-macos.yml
@@ -60,6 +60,7 @@ jobs:
            export PATH="$(brew --prefix llvm@15)/bin:$PATH"
            export PATH="$(brew --prefix openjdk)/bin:$PATH"
            echo $(which llvm-config)
+           export LLVM_CONFIG=$(which llvm-config)
          # brew install direnv
          # cp macos-envrc .envrc
          # eval "$(direnv hook bash)"