Skip to content

Generated from commit 526f5bb6f17b4301a6e3ab812c36d530b104f3d0 #126

Generated from commit 526f5bb6f17b4301a6e3ab812c36d530b104f3d0

Generated from commit 526f5bb6f17b4301a6e3ab812c36d530b104f3d0 #126

name: Docker
on:
push:
branches:
- master
- v*.*
tags:
- 'v*.*.*'
env:
IMAGE_ID: ghcr.io/anlab-kaist/kens
IMAGE_NAME: kens
jobs:
push:
runs-on: ubuntu-latest
if: github.event_name == 'push'
steps:
- uses: actions/checkout@v2
- name: Build image
run: |
docker build . --file Dockerfile --tag $IMAGE_NAME
- name: Log into GitHub Container Registry
run: echo "${{ secrets.CR_PAT }}" | docker login https://ghcr.io -u ${{ secrets.CR_NAME }} --password-stdin
- name: Push image to GitHub Container Registry
run: |
# Strip git ref prefix from version
VERSION=$(echo "${{ github.ref }}" | sed -e 's,.*/\(.*\),\1,')
# Strip "v" prefix from tag name
[[ "${{ github.ref }}" == "refs/tags/"* ]] && VERSION=$(echo $VERSION | sed -e 's/^v//')
[[ "${{ github.ref }}" == "refs/heads/"* ]] && VERSION=$(echo $VERSION | sed -e 's/^v//')
# Use Docker `latest` tag convention
[ "$VERSION" == "master" ] && VERSION=latest
echo IMAGE_ID=$IMAGE_ID
echo VERSION=$VERSION
docker tag $IMAGE_NAME $IMAGE_ID:$VERSION
docker push $IMAGE_ID:$VERSION