Skip to content

Update CI configuration

Steffen Müthing requested to merge feature/update-ci-for-gitlab-images into master

This updates the CI configuration to use the new Docker images and their different toolchain configuration. Note that this causes a build failure on Debian 9 with GCC 6 due to an ICE or a compiler timeout. I'll push a separate MR to fix this issue, as the fix will need to be backported.

Merge request reports