Commit fcb125a0 authored Feb 23, 2019 by Luca Cristaldi

Merge branch 'update-CI' into 'master'

update CI script to use the internal docker image

See merge request !2