diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-05-11 09:38:05 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-11 09:38:47 +0200 |
commit | 087e8c4c93c14de6038b79f4bbfd270124af2f11 (patch) | |
tree | 5ddb96b70d4aa9915acb88a3aa628b8a0604b0c8 /appveyor.yml | |
parent | da489b118e2b088d36f798020f6aaffbe4cf4324 (diff) |
Remove packaging jobs from appveyor
They are now done on Gitlab CI. The test suite on Windows stays on
Appveyor.
Diffstat (limited to 'appveyor.yml')
-rw-r--r-- | appveyor.yml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/appveyor.yml b/appveyor.yml index 44a93d15d..cd3b88d00 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -10,10 +10,6 @@ image: environment: CYGMIRROR: http://ftp.inf.tu-dresden.de/software/windows/cygwin32 matrix: - - USEOPAM: false - ARCH: 32 - - USEOPAM: false - ARCH: 64 - USEOPAM: true ARCH: 64 @@ -21,11 +17,3 @@ build_script: - cmd: 'call %APPVEYOR_BUILD_FOLDER%\dev\ci\appveyor.bat' test: off - -artifacts: - - path: 'dev\nsis\*.exe' - name: installer - - - path: 'coq-opensource-archive-*.zip' - name: opensource-archive - |