diff options
author | 2017-07-31 22:04:32 +0100 | |
---|---|---|
committer | 2017-08-01 13:18:41 +0100 | |
commit | eee42a2403f5bdcf97139deb97f9cd0a7a434ddc (patch) | |
tree | 9d39beb8cce108632e05a6a008adf685250006d4 | |
parent | 17f37f42792b3150fcebb6236b9896845957b89d (diff) |
Fix typos. Improve wording.
-rw-r--r-- | README.ci.md | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/README.ci.md b/README.ci.md index 9e25390d7..27e1bdf59 100644 --- a/README.ci.md +++ b/README.ci.md @@ -1,14 +1,14 @@ **WARNING:** This document is a work in progress and intended as a RFC. -If you are not a Coq Developer, don't follow this instructions yet. +If you are not a Coq Developer, don't follow these instructions yet. Introduction ============ -The Coq Travis CI infrastructure is meant to provide lightweight -automatics testing of pull requests. -If you are on GitLab, their integrated CI is also set up. +As of 2017, lightweight tests are automatically run against all pull requests +or merge requests submitted to Coq's official GitHub or GitLab repositories, +respectively. The tests run on Travis CI and GitLab CI, correspondingly. -More comprehensive testing is the responsability of Coq's [Jenkins CI +More comprehensive testing is the responsibility of Coq's [Jenkins CI server](https://ci.inria.fr/coq/) see, [XXX: add document] for instructions on how to add your development to Jenkins. @@ -24,7 +24,7 @@ the latest Coq changes validated against your development? If so, keep reading! Getting Coq changes tested against your library is easy, all that you need to do is: -1. Put you development in a public repository tracking coq trunk. +1. Put your development in a public repository tracking Coq trunk. 2. Make sure that your development builds in less than 35 minutes. 3. Submit a PR adding your development. 4. ? |