Chances are, you might want to run tests for both PHP5 and PHP7 on Travis-CI. However, you will need to install different extension version to make it compilable for PHP5 or PHP7.