[ci] [azure] Rework windows Azure pipeline

- use a different mirror for main cygwin archive
- (always) publish build log as artifact
- fix call to dune makefiles
- we do just build Coq for now, as:
  + dune is rebuilding Coq to run the test-suite, this needs move
    investigation.
  + the test suite seems to take long and it times-out on Win.

2 files changed, 14 insertions, 4 deletions

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 0bc30f0196..e76614a0cf 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -10,6 +10,9 @@ jobs:
   pool:
     vmImage: 'vs2017-win2016'
 
+  # Equivalent to allow_failure: true
+  # continueOnError: true
+
   steps:
   - checkout: self
     fetchDepth: 10
@@ -27,7 +30,7 @@ jobs:
       C:\cygwin64\bin\bash -l %cd%\dev\build\windows\configure_profile.sh
     displayName: 'Install cygwin'
     env:
-      CYGMIRROR: "http://mirror.easyname.at/cygwin"
+      CYGMIRROR: "http://mirror.cs.vt.edu/pub/cygwin/cygwin"
 
   - script: C:\cygwin64\bin\bash -l %cd%\dev\ci\azure-opam.sh
     displayName: 'Install opam'
@@ -35,8 +38,15 @@ jobs:
   - script: C:\cygwin64\bin\bash -l %cd%\dev\ci\azure-build.sh
     displayName: 'Build Coq'
 
-  - script: C:\cygwin64\bin\bash -l %cd%\dev\ci\azure-test.sh
-    displayName: 'Test Coq'
+  # We are hitting a bug where Dune is rebuilding Coq to run the
+  # test-suite, also it seems to time out, so we just build for now
+  #
+  # - script: C:\cygwin64\bin\bash -l %cd%\dev\ci\azure-test.sh
+  #   displayName: 'Test Coq'
+
+  - publish: _build/log
+    artifact: Dune Build Log
+    condition: always()
 
 - job: macOS
   pool:
diff --git a/dev/ci/azure-build.sh b/dev/ci/azure-build.sh
index 04c7d5db91..494651c5bf 100755
--- a/dev/ci/azure-build.sh
+++ b/dev/ci/azure-build.sh
@@ -4,4 +4,4 @@ set -e -x
 
 cd $(dirname $0)/../..
 
-make -f Makefile.dune coq coqide-server
+dune build coq.install coqide-server.install