From 3670d9c2179449a5d0277a5397ac47ac3b6b9303 Mon Sep 17 00:00:00 2001
From: Marten Lohstroh <marten@berkeley.edu>
Date: Thu, 20 Jul 2023 12:56:37 -0700
Subject: [PATCH] Run ROS setup script in workflow

---
 .github/workflows/ci.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6007f4c0..a9730e03 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -19,8 +19,10 @@ jobs:
       - name: Setup environment
         run: |
           source ./utils/scripts/setup-env.bash
-      - name: Set GitHub environment variables
-        run: printenv >> "$GITHUB_ENV"
+      - name: Run ROS setup script
+        run: |
+          source /opt/ros/*/setup.bash
+          printenv >> "$GITHUB_ENV"
         shell: bash
       - uses: lf-lang/action-check-lf-files@main
         with: