From 22ed2830503b4c6e798b5757432afd6d562a4422 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Thu, 1 Jun 2023 01:12:01 +0200
Subject: [PATCH] ci/ros: remove useless lines
---
.github/workflows/ros_ci.yml | 9 ---------
1 file changed, 9 deletions(-)
diff --git a/.github/workflows/ros_ci.yml b/.github/workflows/ros_ci.yml
index c8e9b559..6d3afba8 100644
--- a/.github/workflows/ros_ci.yml
+++ b/.github/workflows/ros_ci.yml
@@ -30,15 +30,6 @@ jobs:
with:
path: ${{ env.CCACHE_DIR }}
key: ccache-${{ matrix.env.ROS_DISTRO }}-${{ matrix.env.ROS_REPO }}
- - name: Echo CCACHE_DIR
- shell: bash -l {0}
- env: ${{ matrix.env }}
- run: |
- echo CCACHE_DIR=${CCACHE_DIR}
- - name: Echo CCACHE_DIR
- shell: bash -l {0}
- run: |
- echo CCACHE_DIR=${CCACHE_DIR}
# Run industrial_ci
- uses: 'ros-industrial/industrial_ci@6a8f546cbd31fbd5c9f77e3409265c8b39abc3d6'
env: ${{ matrix.env }}
--
GitLab