Skip to content

ボール回り込み時の目標位置を角度によって切り替え (#319) #201

ボール回り込み時の目標位置を角度によって切り替え (#319)

ボール回り込み時の目標位置を角度によって切り替え (#319) #201

name: Create and publish a Docker image
on:
push:
branches:
- main
paths-ignore:
- '.github/workflows/build_docker_image_for_ci.yaml'
- '.github/workflows/scenario_test.yaml'
workflow_dispatch:
env:
REGISTRY: ghcr.io
IMAGE_NAME: ${{ github.repository }}
jobs:
build-and-push-image:
strategy:
matrix:
dockerfile:
- path: .docker/Dockerfile
tag_suffix: humble
rosdistro: humble
- path: .docker/light/Dockerfile
tag_suffix: humble-light
rosdistro: humble
runs-on: ubuntu-latest
permissions:
contents: read
packages: write
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Login to GitHub Container Registry
uses: docker/login-action@v3
with:
registry: ${{ env.REGISTRY }}
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Extract metadata (tags, labels) for Docker
id: meta
uses: docker/metadata-action@v5
with:
images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
tags: |
type=raw,value=${{ matrix.dockerfile.tag_suffix }}
- name: Build and push Docker image
uses: docker/build-push-action@v5
with:
file: ${{ matrix.dockerfile.path }}
build-args: ROS_DISTRO=${{ matrix.dockerfile.rosdistro }}
push: true
tags: ${{ steps.meta.outputs.tags }}
labels: ${{ steps.meta.outputs.labels }}