From 087e8c4c93c14de6038b79f4bbfd270124af2f11 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Fri, 11 May 2018 09:38:05 +0200
Subject: Remove packaging jobs from appveyor

They are now done on Gitlab CI. The test suite on Windows stays on
Appveyor.
---
 appveyor.yml | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'appveyor.yml')

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
-
-- 
cgit v1.2.3