Use docker image for ci to improve build time and reproducibility (!3) · Merge requests · j.hoerdt / sensor2graph

Dear Gitlab users, due to a transfer of our data on our NFS shares, Gitlab will be unavailable on Thursday from 5 pm for up to 4 hours.