From bb1c89a486d47dbf497756b8374337a6857a96de Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 12 Dec 2018 14:10:52 +0100
Subject: Set up CI with Azure Pipelines

---
 dev/ci/README-developers.md | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/dev/ci/README-developers.md b/dev/ci/README-developers.md
index 6ca3aa2981..fa8962a06f 100644
--- a/dev/ci/README-developers.md
+++ b/dev/ci/README-developers.md
@@ -20,6 +20,9 @@ We are currently running tests on the following platforms:
 - 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. It is expected to replace appveyor 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