Try explicit pull request filter for CI

ijl · ijl · commit f637829888e0 · 2020-02-24T13:27:34.000Z
diff --git a/ci/azure-pipelines.yml b/ci/azure-pipelines.yml
@@ -1,3 +1,8 @@
+pr:
+  branches:
+    include:
+    - '*'
+
 variables:
   toolchain: nightly-2020-02-18
 
