From b59a81e40de1913ad298739b96312529713e358a Mon Sep 17 00:00:00 2001
From: Bengt Giger <bgiger@ethz.ch>
Date: Wed, 16 Dec 2020 10:20:41 +0100
Subject: [PATCH] Push also sha tagged docker image

---
 .github/workflows/build_docker_images.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/build_docker_images.yml b/.github/workflows/build_docker_images.yml
index 7bb0f03f..072f3d24 100644
--- a/.github/workflows/build_docker_images.yml
+++ b/.github/workflows/build_docker_images.yml
@@ -89,3 +89,12 @@ jobs:
           file: ./docker/demo/Dockerfile
           push: true
           tags: bengig/sebserver:demo
+      -
+        name: Build and push
+        id: docker_build
+        uses: docker/build-push-action@v2
+        with:
+          context: .
+          file: ./docker/demo/Dockerfile
+          push: true
+          tags: bengig/sebserver:${{ GITHUB_SHA }}