From b6b4c75718dbcda73b475f6dc0af32c055345b92 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Wed, 4 Dec 2019 16:40:12 +0100
Subject: [PATCH] CI skip.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 azure-pipelines.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index b7ac3238..4bf0c42b 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -3,6 +3,8 @@ trigger:
   branches:
     include:
     - master
+    exclude:
+    - arduino/arduino-pro-ide#112 # TODO: remove this once the PR is not in WIP.
 
 pr:
 - master