Push on develop - Build, test, create docker images & push them to docker hub

Update for next development version #983

Sign in to view logs

The logs for this run have expired and are no longer available.