diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-12-15 15:34:18 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-27 11:26:38 +0100 |
commit | 84cc70cebf11d28e0bcde36a8fd0d17e51f4bac3 (patch) | |
tree | e37182b6ce81d54518865a325fa263a31f8939e1 /appveyor.yml | |
parent | 4dd64d37dbd9f7fe8b14f020531b493fe782d225 (diff) |
Re-enable package building and artefact storage.
Diffstat (limited to 'appveyor.yml')
-rw-r--r-- | appveyor.yml | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/appveyor.yml b/appveyor.yml index 82f354c2e..64c1bedb5 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -10,11 +10,10 @@ image: environment: CYGMIRROR: http://ftp.inf.tu-dresden.de/software/windows/cygwin32 matrix: -# - USEOPAM: true -# ARCH: 64 -# Comment out until issue #5998 is fixed. -# - USEOPAM: false -# ARCH: 32 + - USEOPAM: true + ARCH: 64 + - USEOPAM: false + ARCH: 32 - USEOPAM: false ARCH: 64 @@ -23,11 +22,10 @@ build_script: test: off -# Comment out until issue #5998 is fixed. -#artifacts: -# - path: 'dev\nsis\*.exe' -# name: installer +artifacts: + - path: 'dev\nsis\*.exe' + name: installer -# - path: 'coq-opensource-archive-*.zip' -# name: opensource-archive + - path: 'coq-opensource-archive-*.zip' + name: opensource-archive |