Skip to content

Use docker image for ci to improve build time and reproducibility

Jakob Leonard Hördt requested to merge dockerci into master

Merge request reports