Commit 9173ddeb authored Nov 16, 2021 by Paulus Kruger

Merge branch 'master' into 'master'

Build docker image in CI and push to registry

See merge request !16

No related branches found

No related tags found

1 merge request!16Build docker image in CI and push to registry

Pipeline #20841 passed Nov 16, 2021

Status	Pipeline	Created by	Stages	Actions
Passed 00:03:00 Nov 16, 2021	Merge branch 'master' into 'master' #20841 master 9173ddeb		Stage: image	Download artifacts No artifacts found