Shellcheck

runtimeverification · Jul 20, 2024 · c6bfa07 · c6bfa07
1 parent e8b0809
commit c6bfa07
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -124,10 +124,11 @@ jobs:
 
       - name: 'Build and Test K'
         run: |
-          export PATH="$(brew --prefix bison)/bin:$PATH"
-          export PATH="$(brew --prefix flex)/bin:$PATH"
-          export PATH="$(brew --prefix llvm)/bin:$PATH"
-          export PATH="$(brew --prefix openjdk)/bin:$PATH"
+          PATH="$(brew --prefix bison)/bin:$PATH"
+          PATH="$(brew --prefix flex)/bin:$PATH"
+          PATH="$(brew --prefix llvm)/bin:$PATH"
+          PATH="$(brew --prefix openjdk)/bin:$PATH"
+          export PATH
           mvn verify -Dspotless.check.skip=true --batch-mode -U