diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-05 22:48:45 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-05 22:48:45 +0200 |
| commit | cebab877a73d46628a85fa5d5b0ae1f1bb00d285 (patch) | |
| tree | 53cccf63c28f773e40566eea75b233465d425f97 | |
| parent | c9c9be2c3eb451ac5bcc1bc08f98b3176f29c84d (diff) | |
| parent | 54cf593ec1c47ecd5a875714e8e0857707c72901 (diff) | |
Merge PR#724: Move README.ci to markdown
| -rw-r--r-- | README.ci.md (renamed from README.ci) | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/README.ci b/README.ci.md index 43e1bd740..9e25390d7 100644 --- a/README.ci +++ b/README.ci.md @@ -24,11 +24,11 @@ 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. -2.- Make sure that your development builds in less than 35 minutes. -3.- Submit a PR adding your development. -4.- ? -5.- Profit! Your library is now part of Coq's continous integration! +1. Put you 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. ? +5. Profit! Your library is now part of Coq's continous integration! Note that by partipating in this program, you assume a reasonable compromise to discuss and eventually integrate compatibility changes |