From 08c845a9ac5423bdbe0499232f326df30572bac5 Mon Sep 17 00:00:00 2001 From: Achilleas Anagnostopoulos Date: Tue, 8 Aug 2017 23:57:54 +0100 Subject: [PATCH] Use the correct CI env name --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 45a1ff5..ac83b27 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -35,7 +35,7 @@ Before submitting a PR make sure: - that your code passes all lint checks: `make lint` - you provide the appropriate unit-tests to ensure that the coverage does not drop below the existing value (currently 100%). Otherwise, when you submit the - PR, the CI builder ([circle-ci](https://circleci.com)) will flag the build as + PR, the CI builder ([travis-ci](https://travis-ci.org)) will flag the build as broken. Reaching 100% coverage is quite hard and requires the code to be designed with