All CI tests use the same C/C++ compiler

[randomir]

coverage-gcc, coverage-gcc-4.8, coverage-clang all run on GNU 5.4.0, although the intention in the config.yml seems to be to run them on the latest gcc, old gcc and clang, respectively.