Make the build compliant with the PR build triggered by Github.