Set PATH

runtimeverification · Mar 12, 2024 · e6ca2d1 · e6ca2d1
1 parent f1aaae2
commit e6ca2d1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -72,9 +72,9 @@ jobs:
 
       - name: 'Run backend tests'
         run: |
-          docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'mkdir build && cd build && cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=On -DBUILD_TESTS=On ..'
+          docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'mkdir build && cd build && cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=On -DBUILD_TESTS=On .. && make install'
           docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'cd matching && mvn package'
-          docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'lit -av test'
+          docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'PATH=./build/install:$PATH lit -av test'
 
       - name: 'Tear down Docker'
         if: always()