Commit 7635a97b authored by Daniele Venzano's avatar Daniele Venzano

Copy the Docker build script from the official docker image

parent 4455637c
Pipeline #4245 failed with stage
in 4 minutes and 7 seconds