Change to github workspace.

ethz-asl · Nov 7, 2023 · 138e536 · 138e536
1 parent 59caccd
commit 138e536
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/simple.yaml b/.github/workflows/simple.yaml
@@ -35,7 +35,7 @@ jobs:
       shell: bash
     - name: Build test
       run: |
-        cd ${HOME}/catkin_ws
+        cd ${GITHUB_WORKSPACE}/catkin_ws
         catkin init
         catkin config --extend "/opt/ros/noetic"
         catkin config --merge-devel