From 28fb55a7d49e2a6b5b5ec360ec1f1ec982c4ccec Mon Sep 17 00:00:00 2001
From: nulltoken <emeric.fermas@gmail.com>
Date: Tue, 8 Oct 2019 09:50:08 +0200
Subject: [PATCH] chore: enlist Azure DevOps in the PullRequest checks (#650)

cf. https://docs.microsoft.com/en-us/azure/devops/pipelines/build/triggers?view=azure-devops&tabs=yaml#pr-triggers
---
 azure-pipelines.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index b83b7d798..c4de087ad 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -6,6 +6,11 @@ trigger:
     include:
       - master
       - develop
+pr:
+  branches:
+    include:
+      - master
+      - develop
 jobs:
   - job: test
     displayName: Test