From 5cf7224c1cd7507eabe415951faad687e0a8f119 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 4 Feb 2019 18:00:42 +0100
Subject: Remove AppVeyor: superseded by Azure.

---
 dev/ci/README-developers.md | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'dev/ci/README-developers.md')

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:
-- 
cgit v1.2.3