[xen master] CI: Fix the github actions Coverity run

[patchbot@xxxxxxx]

commit 606bb708e13d64596b2d68ac1de78d142d682e20
Author:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
AuthorDate: Wed Jun 7 10:27:35 2023 +0100
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Thu Jun 8 11:48:53 2023 +0100

    CI: Fix the github actions Coverity run
    
    The Install step is failing with:
    
      Package python-dev is not available, but is referred to by another 
package.
      This may mean that the package is missing, has been obsoleted, or
      E: Package 'python-dev' has no installation candidate
      is only available from another source
      However the following packages replace it:
        python2-dev python2 python-dev-is-python3
    
    which is a side effect of ubuntu-latest having changed from 20.04 to 22.04.
    
    Drop python-dev as python3-dev is already present, and used a fixed runs-on 
to
    avoid such problems in the future.
    
    Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
    Acked-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
    Reviewed-by: Roger Pau Monné <roger.pau@xxxxxxxxxx>
---
 .github/workflows/coverity.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 427fb86f94..60ac8dee55 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -8,7 +8,7 @@ on:
 
 jobs:
   coverity:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     steps:
     - name: Install build dependencies
       run: |
@@ -18,7 +18,7 @@ jobs:
           libbz2-dev e2fslibs-dev uuid-dev ocaml \
           ocaml-findlib libyajl-dev \
           autoconf libtool liblzma-dev \
-          python3-dev golang python-dev libsystemd-dev
+          python3-dev golang libsystemd-dev
 
     - uses: actions/checkout@v2
       with:
--
generated by git-patchbot for /home/xen/git/xen.git#master