diff options
author | Philip H <47042125+pheiduck@users.noreply.github.com> | 2022-08-25 16:24:56 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2022-08-25 16:24:56 +0100 |
commit | 930830a68b6eb7ca630956330b48996e3ef8518f (patch) | |
tree | 3786b2ff512de396f0857a3d489bae2d13d02de2 /.github | |
parent | 340dafd155222ac96304107542344faf3c56e12b (diff) |
patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04v9.0.0267
Problem: Coverity workflow still uses Ubuntu 18.04.
Solution: Use Ubuntu 20.04
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/coverity.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index a58a20b615..566ab5b2fe 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -6,7 +6,7 @@ on: jobs: scan: - runs-on: ubuntu-18.04 + runs-on: ubuntu-20.04 env: CC: gcc |