Skip to content
GitLab

Use docker image for ci to improve build time and reproducibility

Merged j.hoerdt requested to merge dockerci into master