gh: fix docker settings for CI

ubi-agni · Jul 31, 2024 · d81262b · d81262b
1 parent 6b3dc06
commit d81262b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.docker/Dockerfile b/.docker/Dockerfile
@@ -1,6 +1,7 @@
 ARG IMAGE_PREFIX=""
 ARG ROS_DISTRO=noetic
-FROM ${IMAGE_PREFIX}ros:${ROS_DISTRO}-ros-base AS base
+ARG BASE_DOCKER_NAME=${ROS_DISTRO}
+FROM ${IMAGE_PREFIX}ros:${BASE_DOCKER_NAME}-ros-base AS base
 
 ENV TERM xterm
 ENV IN_DOCKER 1

diff --git a/.github/workflows/docker.yaml b/.github/workflows/docker.yaml
@@ -22,7 +22,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ROS_DISTRO: [noetic, jammy]
+        ROS_DISTRO: [noetic, one]
     runs-on: ubuntu-latest
     permissions:
       packages: write
@@ -58,8 +58,9 @@ jobs:
           file: .docker/Dockerfile
           build-args: |
             ROS_DISTRO=${{ matrix.ROS_DISTRO }}
+            BASE_DOCKER_NAME=${{ matrix.ROS_DISTRO == 'one' && 'jammy' || ${matrix.ROS_DISTRO} }}
             MUJOCO_VERSIONS=${{ env.MUJOCO_VERSIONS }}
-            IMAGE_PREFIX=${{ matrix.ROS_DISTRO == 'jammy' && 'ubiagni/' || '' }}
+            IMAGE_PREFIX=${{ matrix.ROS_DISTRO == 'one' && 'ubiagni/' || '' }}
           push: true
           no-cache: ${{ steps.apt.outputs.no_cache || github.event_name == 'workflow_dispatch' }}
           cache-from: type=registry,ref=${{ env.IMAGE }}