From 39b5288e0b02c6230242b2d3fe7a65c5c1e483bf Mon Sep 17 00:00:00 2001 From: Nicola Pedrocchi Date: Wed, 14 Dec 2022 15:17:37 +0100 Subject: [PATCH] pre-merge with master --- .github/workflows/industrial_ci_action.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/industrial_ci_action.yml b/.github/workflows/industrial_ci_action.yml index 06282e7..c6414cd 100644 --- a/.github/workflows/industrial_ci_action.yml +++ b/.github/workflows/industrial_ci_action.yml @@ -26,9 +26,9 @@ jobs: CCACHE_DIR: "/home/runner/target_ws/.ccache" #/github/home/.ccache # Directory for ccache (and how we enable ccache in industrial_ci) UPSTREAM_WORKSPACE: ci.rosinstall ISOLATION: "shell" - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 # clone target repository + - uses: actions/checkout@v3 # clone target repository - uses: actions/cache@v2 # fetch/store the directory used by ccache before/after the ci run with: path: ${{ env.CCACHE_DIR }}