diff options
| -rw-r--r-- | azure-pipelines.yml | 16 | ||||
| -rwxr-xr-x | dev/ci/azure-build.sh | 2 |
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 |