From 1ba839a877859181ad6b1d66766d50cc4938f0ba Mon Sep 17 00:00:00 2001 From: Max Horn Date: Sat, 3 Sep 2022 04:27:13 +0200 Subject: [PATCH] CI: switch from ubuntu-18.04 to ubuntu-latest The former will be removed in early 2023 --- .github/workflows/CI.yml | 20 ++++++-------------- 1 file changed, 6 insertions(+), 14 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 5fcc96381a9..9b78dc951ab 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -40,7 +40,7 @@ jobs: strategy: fail-fast: false matrix: - os: [ubuntu-18.04] + os: [ubuntu-latest] shell: [bash] test-suites: [ @@ -67,12 +67,12 @@ jobs: # also test `make install` here, as that wants the manual, too; # and set NO_COVERAGE=1 to ensure the installed GAP binaries don't # contain references to the build directory - - os: ubuntu-18.04 + - os: ubuntu-latest shell: bash test-suites: "makemanuals testmakeinstall" extra: "GAPPREFIX=/tmp/gapprefix CONFIGFLAGS=\"--prefix=/tmp/gapprefix\" NO_COVERAGE=1" - - os: ubuntu-18.04 + - os: ubuntu-latest shell: bash test-suites: "teststandard" extra: "ABI=32 CONFIGFLAGS=\"\"" @@ -81,19 +81,11 @@ jobs: # but somehow when running on GitHub Actions, it takes almost 4 # hours (!) to complete instead of 25 minutes. So for now we just # run testinstall. - - os: ubuntu-18.04 + - os: ubuntu-latest shell: bash test-suites: "testinstall" extra: "HPCGAP=yes ABI=64" - # compile packages and run GAP tests in 32 bit mode - # it seems profiling is having trouble collecting the coverage data - # here, so we use NO_COVERAGE=1 - - os: ubuntu-18.04 - shell: bash - test-suites: "testpackages testinstall-loadall" - extra: "ABI=32 NO_COVERAGE=1" - # this job also tests GAP without readline - os: macos-latest shell: bash @@ -120,7 +112,7 @@ jobs: # The '--enable-valgrind' checks that GAP builds and runs correctly # when compiled with valgrind support. We do not actually run any # tests using valgrind, as it is too slow. - - os: ubuntu-18.04 + - os: ubuntu-latest shell: bash test-suites: "testbuildsys testmockpkg testinstall" extra: "NO_COVERAGE=1 ABI=64 BUILDDIR=out-of-tree @@ -129,7 +121,7 @@ jobs: # same as above, but in 32 bit mode, also turn off debugging (see # elsewhere in this file for an explanation). - - os: ubuntu-18.04 + - os: ubuntu-latest shell: bash test-suites: "testbuildsys testmockpkg testinstall" extra: "NO_COVERAGE=1 ABI=32 BUILDDIR=out-of-tree CONFIGFLAGS=\"\""