From 4421a7f8afdc2d706c6def5f783162f64fb069d4 Mon Sep 17 00:00:00 2001
From: Bengt Giger <bgiger@ethz.ch>
Date: Sun, 13 Dec 2020 00:11:12 +0100
Subject: [PATCH] Change image used for build

---
 .github/workflows/build_docker_images.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build_docker_images.yml b/.github/workflows/build_docker_images.yml
index e945661a..d3b4c073 100644
--- a/.github/workflows/build_docker_images.yml
+++ b/.github/workflows/build_docker_images.yml
@@ -6,10 +6,14 @@ on:
 
 jobs:
   build:
-    runs-on: maven:latest
+    runs-on: ubuntu:latest
     steps:
       - name: Checkout repository
         uses: actions/checkout@v2
+      - name: Set up JDK11
+        uses: actions/setup-java@v1
+        with:
+          java-version: 11
       - name: Cache Maven packages
         uses: actions/cache@v2
         with:
@@ -24,7 +28,7 @@ jobs:
           name: Package
           path: staging
 
-  push:
+  docker_push:
     runs-on: ubuntu-latest
     steps:
       -