Skip to content

add cli options for host and port for app #182

add cli options for host and port for app

add cli options for host and port for app #182

name: Create and publish a Docker image
on:
push:
branches:
- "main"
- "pulumi*"
tags:
- "*"
env:
REGISTRY: ghcr.io
IMAGE_NAME: ${{ github.repository }}
jobs:
build-and-push-image:
name: Push Docker images to GitHub container repository
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
include:
- dockerfile: docker/run_all/Dockerfile
image: ghcr.io/${{ github.repository }}_run_all
- dockerfile: docker/slack_bot/Dockerfile
image: ghcr.io/${{ github.repository }}_slackbot
- dockerfile: docker/create_index/Dockerfile
image: ghcr.io/${{ github.repository }}_create_index
- dockerfile: docker/reginald_app/Dockerfile
image: ghcr.io/${{ github.repository }}_app
permissions:
packages: write
contents: read
steps:
- name: Check out the repo
uses: actions/checkout@v4
- name: Log in to the Container registry
uses: docker/[email protected]
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Extract metadata (tags, labels) for Docker
id: meta
uses: docker/[email protected]
with:
images: ${{ matrix.image }}
- name: Build and push Docker images
uses: docker/[email protected]
with:
file: ${{ matrix.dockerfile }}
push: true
tags: ${{ steps.meta.outputs.tags }}
labels: ${{ steps.meta.outputs.labels }}