From 62f22ef0ccde8ea5b48bcb0db36c6cf824555ce3 Mon Sep 17 00:00:00 2001 From: Akuli Date: Thu, 13 Jan 2022 18:01:20 +0200 Subject: [PATCH] CONTRIBUTING.md: remove duplicate info about how CI runs tests (#6910) --- CONTRIBUTING.md | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 43739e129..9c2b62a52 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -36,6 +36,8 @@ need fixing. If you prefer to run the tests & formatting locally, it's possible too. Follow platform-specific instructions below. +For more information about our available tests, see +[tests/README.md](tests/README.md). Whichever platform you're using, you will need a virtual environment. If you're not familiar with what it is and how it works, @@ -500,17 +502,6 @@ To format and check your stubs, run the following commands: ``` -## Running the tests - -The tests are automatically run on every PR and push to the repo. -Therefore you don't need to run them locally, unless you want to run -them before making a pull request or you want to debug some problem without -creating several small commits. - -For more information about our available tests, see -[tests/README.md](tests/README.md). - - ## Submitting Changes Even more excellent than a good bug report is a fix for a bug, or the