CI: remove AppVeyor integration

README.md

@@ -1,5 +1,4 @@
 [![Build Status](https://github.com/gap-system/gap/workflows/CI/badge.svg?branch=master)](https://github.com/gap-system/gap/actions?query=workflow%3ACI+branch%3Amaster)
-[![AppVeyor build Status](https://ci.appveyor.com/api/projects/status/mvut0lq6x9idfrye/branch/master?svg=true)](https://ci.appveyor.com/project/gap-system/gap/branch/master)
 [![Code Coverage](https://codecov.io/gh/gap-system/gap/branch/master/graphs/badge.svg)](https://codecov.io/gh/gap-system/gap/branch/master)
 [![Coverage Status](https://coveralls.io/repos/github/gap-system/gap/badge.svg?branch=master)](https://coveralls.io/github/gap-system/gap?branch=master)
 

dev/ci-gather-coverage.sh

@@ -84,11 +84,6 @@ if IsBound(env.GITHUB_ACTIONS) then
         #service_job_id := env.GITHUB_RUN_ID,
         service_branch := env.GITHUB_REF{[Length("refs/heads/")..Length(env.GITHUB_REF)]},
         commit_sha := env.GITHUB_SHA,
-#         service_build_url := Concatenation(
-#             "https://ci.appveyor.com/project/",
-#             env.APPVEYOR_REPO_NAME,
-#             "/build/",
-#             env.APPVEYOR_BUILD_VERSION),
     );
 
     # GITHUB_REF has the form refs/pull/12345/merge

dev/ci.sh

@@ -2,9 +2,8 @@
 
 # Continous integration testing script
 
-# This is used for AppVeyor, Travis CI and GitHub Actions integration.
-# In addition, it can be run manually, to simulate what happens in the
-# CI environment locally (say, for debugging purposes).
+# It can also be run manually, to simulate locally what happens in the
+# CI environment (say, for debugging purposes).
 
 set -ex
 

dev/releases/make_archives.py

@@ -155,7 +155,6 @@
 
     notice("Removing unwanted version-controlled files")
     badfiles = [
-    ".appveyor.yml",
     ".codecov.yml",
     ".gitattributes",
     ".gitignore",