diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-11-06 15:08:37 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-11-06 16:33:10 +0100 |
commit | 9d3e1977b495685d657e7aee0c9a90ecff14d783 (patch) | |
tree | c8f8b93166126aab71dda30c711f8a7e282f28a9 /appveyor.yml | |
parent | e029cf5b417b22ebc65a8193469bbbe450f725ce (diff) |
Remove packaging scripts while waiting for a fix to #5998.
This is a temporary commit which should be reverted once the issue is fixed.
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 |