diff --git a/.appveyor.yml b/.appveyor.yml deleted file mode 100644 index 8f17fc558f..0000000000 --- a/.appveyor.yml +++ /dev/null @@ -1,54 +0,0 @@ -# set clone depth -clone_depth: 5 # clone entire repository history if not defined - -environment: - TEST_SUITES: testinstall - - # To test building GAP both using the bundled libraries (zlib and GMP), as - # well as using the versions distributed with cygwin, we do the former in - # the 32 bit build and the latter in the 64 bit build. But building zlib - # does not see to work if '--coverage' is used, so we only use that flag in - # the 64 bit build. - matrix: - - CYG_ARCH: x86 - CYG_ROOT: C:\cygwin - PACKAGES: "-P python27,python27-pip" - ABI: 32 - - CYG_ARCH: x86_64 - CYG_ROOT: C:\cygwin64 - PACKAGES: "-P libgmp-devel,zlib-devel,python27,python27-pip" - CFLAGS: "--coverage" - CXXFLAGS: "--coverage" - LDFLAGS: "--coverage" -# FIXME: HPC-GAP build on AppVeyor disabled for now, as it crashes -# - CYG_ARCH: x86_64 -# CYG_ROOT: C:\cygwin64 -# HPCGAP: yes -# BUILDDIR: build # HPC-GAP only supports kernel extensions for of out-of-tree builds - -# change to packages-stable-X.Y.tar.gz in the stable branch -cache: - - packages-master.tar.gz - -install: - - '%CYG_ROOT%\setup-%CYG_ARCH%.exe -qnNdO -R %CYG_ROOT% -s http://cygwin.mirror.constant.com -l %CYG_ROOT%/var/cache/setup %PACKAGES%' - -# scripts that run after cloning repository -build_script: -# If there's a newer build queued for the same PR, cancel this one - - ps: if ($env:APPVEYOR_PULL_REQUEST_NUMBER -and $env:APPVEYOR_BUILD_NUMBER -ne ((Invoke-RestMethod ` - https://ci.appveyor.com/api/projects/$env:APPVEYOR_ACCOUNT_NAME/$env:APPVEYOR_PROJECT_SLUG/history?recordsNumber=50).builds | ` - Where-Object pullRequestId -eq $env:APPVEYOR_PULL_REQUEST_NUMBER)[0].buildNumber) { ` - throw "There are newer queued builds for this pull request, failing early." } - - SET "PATH=%CYG_ROOT%\bin;%PATH%" - - python -m pip install gcovr==4.2 # for coverage reporting later on - - bash -lc "gcc --version" - - bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./dev/ci-prepare.sh" - -test_script: - - bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./dev/ci.sh" - -on_success: - # make sure to use AppVeyor's Python (not Cygwin's) in the next step - - bash -lc "export PATH="/cygdrive/c/Python27:/cygdrive/c/Python27/Scripts:$PATH" ; cd $APPVEYOR_BUILD_FOLDER && ./dev/ci-gather-coverage.sh" - - bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./dev/ci-upload-coverage.sh" diff --git a/README.md b/README.md index afa8d778d2..776f22a623 100644 --- a/README.md +++ b/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) diff --git a/dev/ci-gather-coverage.sh b/dev/ci-gather-coverage.sh index afb601a950..c1f1ca5255 100755 --- a/dev/ci-gather-coverage.sh +++ b/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 diff --git a/dev/ci.sh b/dev/ci.sh index f16a361cae..f6d910be27 100755 --- a/dev/ci.sh +++ b/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 diff --git a/dev/releases/make_archives.py b/dev/releases/make_archives.py index ab9abf924f..db5c4a7f22 100755 --- a/dev/releases/make_archives.py +++ b/dev/releases/make_archives.py @@ -155,7 +155,6 @@ notice("Removing unwanted version-controlled files") badfiles = [ - ".appveyor.yml", ".codecov.yml", ".gitattributes", ".gitignore",