Massimiliano Culpo 2aa8132afd Migrate build tests from Travis to Github Actions (#13967) ... 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		2019-12-25 00:06:48 -08:00
..
actions/add-maintainers-as-reviewers	actions: add maintainers as PR reviewers for their packages (#12269)	2019-08-03 21:48:19 -07:00
ISSUE_TEMPLATE	bug report template: suggest --stacktrace instead of -s (#10548)	2019-02-07 21:06:57 -06:00
workflows	Migrate build tests from Travis to Github Actions (#13967)	2019-12-25 00:06:48 -08:00
CODE_OF_CONDUCT.md	meta: move CODE_OF_CONDUCT.md and CONTRIBUTING.md to .github	2019-06-30 23:08:33 -07:00
CONTRIBUTING.md	meta: move CODE_OF_CONDUCT.md and CONTRIBUTING.md to .github	2019-06-30 23:08:33 -07:00