Update github workflow

Signed-off-by: Alberto Tudela <ajtudela@gmail.com>
grupo-avispa · Apr 6, 2024 · 00b6302 · 00b6302
1 parent 5023864
commit 00b6302
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -9,6 +9,10 @@ on:
       - main
   pull_request:
 
+env:
+  MIRA_PATH: ${{ github.workspace }}/mira
+  LD_LIBRARY_PATH: $LD_LIBRARY_PATH:${{ github.workspace }}/mira
+
 jobs:
   build:
     runs-on: ubuntu-22.04
@@ -20,9 +24,7 @@ jobs:
       - name: Checkout Repository
         uses: actions/checkout@v2
       - name: Install MIRA
-        run: ./.github/mira-installer-binary.sh -s ubuntu-2204lts-x64 -d mira
-      - name: MIRA Environment
-        run: source $(pwd)/mira/start.bash
+        run: ./.github/mira-installer-binary.sh -s ubuntu-2204lts-x64 -d ${{ github.workspace }}/mira
       - name: Setup ROS 2
         uses: ros-tooling/setup-ros@v0.7
         with: