diff options
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' |