From 6ef8ef1f154e3f036c1e5e835ec03f201f38f8e5 Mon Sep 17 00:00:00 2001 From: Sebastian Haderecker Date: Wed, 23 Dec 2020 16:03:22 +0000 Subject: [PATCH] We use Github Actions Signed-off-by: Sebastian Haderecker --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index bf39b27..12998dc 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -6,5 +6,5 @@ Please review the following before opening a pull request (PR) to help your PR g * To ensure proper testing and quality control, target any code change pull requests against `dev` branch. * Make sure the tests pass - * Take a look at [TESTING.md](TESTING.md) to see how to run tests locally so you do not have to push all your code to a PR and have travis-ci run it. + * Take a look at [TESTING.md](TESTING.md) to see how to run tests locally so you do not have to push all your code to a PR and have GitHub Actions run it. * Your tests will probably run faster locally and you get a faster feedback loop.