diff options
author | Philip H <47042125+pheiduck@users.noreply.github.com> | 2022-08-25 15:21:24 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2022-08-25 15:21:24 +0100 |
commit | b213703f358e1e10ba0affb3729c09ccb2c88ea3 (patch) | |
tree | 14771d4ee0a7e37ba5b790e67eb08d051307f87c /.github | |
parent | 6d4b2f54df5d533eb0794331f38445a6ca5d3a3f (diff) | |
download | vim-git-b213703f358e1e10ba0affb3729c09ccb2c88ea3.tar.gz |
patch 9.0.0264: CI still runs on Ubuntu 18.04v9.0.0264
Problem: CI still runs on Ubuntu 18.04.
Solution: Run CI on Ubuntu 20.04. (closes #10582)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 61723cdf3..1e2006762 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,7 +14,7 @@ concurrency: jobs: linux: - runs-on: ubuntu-18.04 + runs-on: ubuntu-20.04 env: CC: ${{ matrix.compiler }} @@ -167,11 +167,6 @@ jobs: # Use llvm-cov instead of gcov when compiler is clang. ln -fs /usr/bin/llvm-cov ${HOME}/bin/gcov fi - # Setup lua5.3 manually since its package doesn't provide alternative. - # https://bugs.launchpad.net/ubuntu/+source/lua5.3/+bug/1707212 - if [[ ${CONFOPT} =~ luainterp ]]; then - sudo update-alternatives --install /usr/bin/lua lua /usr/bin/lua5.3 10 - fi sudo sysctl -w net.ipv6.conf.lo.disable_ipv6=0 sudo usermod -a -G audio "${USER}" sudo bash ci/setup-xvfb.sh @@ -268,7 +263,7 @@ jobs: done # coveralls: - # runs-on: ubuntu-18.04 + # runs-on: ubuntu-20.04 # # needs: linux # if: always() && github.event_name != 'pull_request' |