Oliver Gugger 17b8b7ea0c github+travis: split CI tasks between Travis and GitHub ... To free up build in Travis, we decided to run the non-flaky parts of the CI pipeline in GitHub Workflows/Actions only. The integration tests on the other hand are removed from GitHub because individual actions cannot be restarted there which caused us to restart the whole workflow if one test was flaky. This split should give us the best of both worlds: Fast run of small checks, linting and unit tests with an easy overview of what failed in the PR directly. And more free build slots on Travis to do more advanced integration tests on other architectures and/or operating systems. And the option to restart a single flaky integration test on Travis.		2020-07-23 15:06:05 +02:00
..
workflows	github+travis: split CI tasks between Travis and GitHub	2020-07-23 15:06:05 +02:00
CODEOWNERS	CODEOWNERS: remove top level catch all	2019-07-10 12:15:38 -07:00
ISSUE_TEMPLATE.md	github: add GitHub issue template	2018-03-28 15:02:07 -07:00
pull_request_template.md	github: add proto formatting to pull request template	2020-03-10 20:19:21 +01:00