diff options
| author | Maxime Dénès | 2017-11-13 11:25:08 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-11-13 11:25:08 +0100 |
| commit | 515855523b478433db8e9a0db21ca2e762c14dac (patch) | |
| tree | a63cc97d28a6c9f01516e2ebf9245b13b779dbd1 | |
| parent | 986c878290564668202c9c6bb6ea393ac7ce2233 (diff) | |
| parent | 9d3e1977b495685d657e7aee0c9a90ecff14d783 (diff) | |
Merge PR #6088: Remove packaging scripts while waiting for a fix to #5998.
| -rw-r--r-- | appveyor.yml | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/appveyor.yml b/appveyor.yml index 64c1bedb54..92fc629b30 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -12,20 +12,22 @@ environment: matrix: - USEOPAM: true ARCH: 64 - - USEOPAM: false - ARCH: 32 - - USEOPAM: false - ARCH: 64 +# Comment out until issue #5998 is fixed. +# - USEOPAM: false +# ARCH: 32 +# - USEOPAM: false +# ARCH: 64 build_script: - cmd: 'call %APPVEYOR_BUILD_FOLDER%\dev\ci\appveyor.bat' test: off -artifacts: - - path: 'dev\nsis\*.exe' - name: installer +# Comment out until issue #5998 is fixed. +#artifacts: +# - path: 'dev\nsis\*.exe' +# name: installer - - path: 'coq-opensource-archive-*.zip' - name: opensource-archive +# - path: 'coq-opensource-archive-*.zip' +# name: opensource-archive |