diff options
| author | Théo Zimmermann | 2019-02-04 18:00:42 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-04 18:00:42 +0100 |
| commit | 5cf7224c1cd7507eabe415951faad687e0a8f119 (patch) | |
| tree | a3bce46ce35757aed1a56e4c9e3b818bbba78a0a /dev/ci/README-developers.md | |
| parent | c70412ec8b0bb34b7a5607c07d34607a147d834c (diff) | |
Remove AppVeyor: superseded by Azure.
Diffstat (limited to 'dev/ci/README-developers.md')
| -rw-r--r-- | dev/ci/README-developers.md | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/dev/ci/README-developers.md b/dev/ci/README-developers.md index 10b4f9b044..98ea594366 100644 --- a/dev/ci/README-developers.md +++ b/dev/ci/README-developers.md @@ -16,12 +16,9 @@ We are currently running tests on the following platforms: `./configure`. It should allow complying with this discipline without pain. -- AppVeyor is used to test the compilation of Coq and run the test-suite on - Windows. - - Azure Pipelines is used to test the compilation of Coq and run the - test-suite on Windows and on macOS. It is expected to replace - appveyor eventually. + test-suite on Windows and on macOS. It is expected to be used to build + macOS and Windows packages eventually. You can anticipate the results of most of these tests prior to submitting your PR by running GitLab CI on your private branches. To do so follow these steps: |