Skip to content

Merge branch 'cherry-pick-1013511e-2' into 'public' #85

Merge branch 'cherry-pick-1013511e-2' into 'public'

Merge branch 'cherry-pick-1013511e-2' into 'public' #85

Workflow file for this run

name: Docker Image CI
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build the Docker image
run: docker build . --tag radvis-handbuch:$(date +%s)