Code coverage is measured during runtime by looking into the stack trace.
If we want to have the complete picture (including code coverage for MySQL, Postgres and SQLite databases) we do need to run after every build.

We could exclude it from the different PHP builds, leaving it only for 5.4. I don't think we have different code for different PHP versions.