[CI/Azure/macOS] Disable

coq · Jul 8, 2019 · 848c016 · 848c016
1 parent 54a52d1
commit 848c016
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -39,6 +39,7 @@ jobs:
     displayName: 'Test Coq'
 
 - job: macOS
+  condition: False
   pool:
     vmImage: 'macOS-10.13'