diff --git a/appveyor.yml b/appveyor.yml
deleted file mode 100644
index c4b6a19aa..000000000
--- a/appveyor.yml
+++ /dev/null
@@ -1,72 +0,0 @@
-version: '{build}'
-
-clone_depth: 10
-
-matrix:
-  fast_finish: true
-
-environment:
-  matrix:
-    - VisualStudioVersion: 12.0
-      platform: x64
-      configuration: Debug
-      vcvarsall_platform: x64
-      PlatformToolset: v120
-      MYQTDIR: C:\Qt\5.6\msvc2013_64
-    - VisualStudioVersion: 12.0
-      platform: x64
-      configuration: Release
-      vcvarsall_platform: x64
-      PlatformToolset: v120
-# FIXME: These are disabled for now. They were broken by ae8653612802b41b70424ec9a5eefe8a1178f6d1
-#    - VisualStudioVersion: 14.0
-#      platform: x64
-#      configuration: Debug
-#      vcvarsall_platform: x64
-#      PlatformToolset: v140
-#      MYQTDIR: C:\Qt\5.11\msvc2015_64
-# That platform causes frequent errors on appveyor due to an unknown infrastructure failure
-#    - VisualStudioVersion: 14.0
-#      platform: x64
-#      configuration: Release
-#      vcvarsall_platform: x64
-#      PlatformToolset: v140
-
-install:
-  - curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.9/z3-4.8.9-%platform%-win.zip -o z3-4.8.9-win.zip
-  - 7z x z3-4.8.9-win.zip -oexternals -r -y
-  - move externals\z3-4.8.9-%platform%-win externals\z3
-
-build_script:
-  - ECHO Building %configuration% %platform% with MSVC %VisualStudioVersion% using %PlatformToolset% PlatformToolset
-  - 'CALL "C:\Program Files (x86)\Microsoft Visual Studio %VisualStudioVersion%\VC\vcvarsall.bat" %vcvarsall_platform%'
-  # Visual studio project..
-  - mkdir vsbuild
-  - cd vsbuild
-  - cmake -DBUILD_TESTS=ON -DCTEST_TIMEOUT=240 ..
-  - cmake --build . --target check --config %configuration%
-  - cd ..
-  # the following builds are Debug ones so do not perform them in Release jobs
-  - 'IF "%configuration%" == "Release" exit /b 0'
-  # use all available processes for nmake
-  - set CL=/MP
-  # cmake..
-  - mkdir build
-  - cd build
-  - cmake -DBUILD_TESTS=ON -G"NMake Makefiles" ..
-  - nmake
-  - copy bin\cppcheck.exe ..
-  - cd ..
-  # build gui..
-  - ECHO MYQTDIR=%MYQTDIR%
-  - 'IF defined MYQTDIR cd gui'
-  - 'IF defined MYQTDIR set QTDIR=%MYQTDIR%'
-  - 'IF defined MYQTDIR set PATH=%PATH%;%QTDIR%\bin'
-  - 'IF defined MYQTDIR %QTDIR%\bin\qmake'
-  - 'IF defined MYQTDIR nmake'
-  - 'IF defined MYQTDIR cd ..'
-
-test_script:
-  - build\bin\testrunner.exe -q
-  - IF EXIST bin\debug\testrunner.exe bin\debug\testrunner.exe -q
-  - IF EXIST bin\testrunner.exe bin\testrunner.exe -q