Skip to content

Prevent dome from opening during daytime (#30) #127

Prevent dome from opening during daytime (#30)

Prevent dome from opening during daytime (#30) #127

Workflow file for this run

name: Docker
on:
push:
branches:
- main
tags:
- '*'
paths-ignore:
- 'docs/**'
jobs:
docker:
name: Docker
runs-on: ubuntu-latest
env:
USER: sdss
APP: lvmecp
steps:
- name: Set docker tags
id: set-tags
run: |
if [[ $GITHUB_REF == refs/heads/main ]]
then
echo TAGS=$USER/$APP:latest >> $GITHUB_OUTPUT
elif [[ $GITHUB_REF == refs/heads/* ]]
then
BRANCH=$(echo ${GITHUB_REF#refs/heads/} | sed -r 's/[\/]/_/g')
echo TAGS=$USER/$APP:$BRANCH >> $GITHUB_OUTPUT
else
echo TAGS=$USER/$APP:${GITHUB_REF#refs/tags/} >> $GITHUB_OUTPUT
fi
- name: Show tags
run: echo ${{ steps.set-tags.outputs.TAGS }}
- name: Set up QEMU
uses: docker/setup-qemu-action@v3
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Log in to registry
run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u $ --password-stdin
- name: Build and push
id: docker_build
uses: docker/build-push-action@v6
with:
push: true
provenance: false
tags: ghcr.io/${{ steps.set-tags.outputs.TAGS }}
- name: Image digest
run: echo ${{ steps.docker_build.outputs.digest }}