From 9fa796b9709df07710728946d1ac113d0bd16753 Mon Sep 17 00:00:00 2001 From: Wilf Wilson Date: Sat, 10 Apr 2021 12:37:32 +0100 Subject: [PATCH] CI: temporarily remove coverage from macOS job Currently the macOS job is failing because IO is not building, which is requiring by the code coverage system, and this causes the job to fail. See: https://github.com/gap-system/gap/issues/4374 By adding NO_COVERAGE=1 to this job, IO will no longer need to be compiled. Obviously, in the long term we want coverage on this job, and we want to be able to compile IO, but this will get the CI running for the rest of GAP in a non-controversial way in the meantime, I hope. --- .github/workflows/CI.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 1fb9cd6d14..17d9f02dfa 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -86,7 +86,7 @@ jobs: - os: macos-latest test-suites: "docomp testinstall" - extra: "BOOTSTRAP_MINIMAL=yes" + extra: "BOOTSTRAP_MINIMAL=yes NO_COVERAGE=1" # test creating the manual # TODO: make the resulting HTML and PDF files available as build