diff options
Diffstat (limited to 'appveyor.yml')
| -rw-r--r-- | appveyor.yml | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/appveyor.yml b/appveyor.yml index 64c1bedb5..92fc629b3 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 |