• Massimiliano Culpo's avatar
    Migrate build tests from Travis to Github Actions (#13967) · 2aa8132a
    Massimiliano Culpo authored
    This PR moves build smoke tests from TravisCI and migrates them to Github Actions. The result is that build tests are performed in parallel with unit tests and they don't hog additional resources on Travis. The workflow will not run if a PR only changes packages in the built-in repository, but will always run on pushes to develop or master.
    * Removed build tests from Travis and passed them to Github Actions
    * Store ~/.ccache in Github Actions cache
    * Add filters on paths and make sure this workflow don't run
    * Use paths-ignore and exclude only files in the built-in repo
    * Added a badge to README.md