Bengt Giger b59a81e40d Push also sha tagged docker image		2020-12-16 10:20:41 +01:00
..
build_docker_images.yml	Push also sha tagged docker image	2020-12-16 10:20:41 +01:00