Skip to content
GitLab

Use docker image for ci to improve build time and reproducibility

Merged Jakob Leonard Hördt requested to merge dockerci into master