From a0838570533edf1f5755bef70268c4b1d7a41706 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Fri, 27 Jan 2023 14:47:29 +0100
Subject: [PATCH] ci/ros: checkout older commit
---
.github/workflows/ros_ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/ros_ci.yml b/.github/workflows/ros_ci.yml
index fcdff9ee..cd6f67e0 100644
--- a/.github/workflows/ros_ci.yml
+++ b/.github/workflows/ros_ci.yml
@@ -40,5 +40,5 @@ jobs:
run: |
echo CCACHE_DIR=${CCACHE_DIR}
# Run industrial_ci
- - uses: 'ros-industrial/industrial_ci@master'
+ - uses: 'ros-industrial/industrial_ci@6a8f546cbd31fbd5c9f77e3409265c8b39abc3d6'
env: ${{ matrix.env }}
--
GitLab