Update test-pr-macos.yml

runtimeverification · Sep 28, 2023 · 3f0a355 · 3f0a355
1 parent 1ddd80e
commit 3f0a355
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/test-pr-macos.yml b/.github/workflows/test-pr-macos.yml
@@ -55,10 +55,10 @@ jobs:
       - name: "Install and set up direnv"
         run: |
            set -euxo pipefail
-           export PATH="'$(brew --prefix bison)'/bin:$PATH"
-           export PATH="'$(brew --prefix flex)'/bin:$PATH"
-           export PATH="'$(brew --prefix llvm@15)'/bin:$PATH"
-           export PATH="'$(brew --prefix openjdk)'/bin:$PATH"
+           export PATH="$(brew --prefix bison)/bin:$PATH"
+           export PATH="$(brew --prefix flex)/bin:$PATH"
+           export PATH="$(brew --prefix llvm@15)/bin:$PATH"
+           export PATH="$(brew --prefix openjdk)/bin:$PATH"
            echo $(which llvm-config)
          # brew install direnv
          # cp macos-envrc .envrc