Update CI configuration
Compare changes
+ 35
− 16
@@ -2,42 +2,61 @@
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.