mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 18:50:05 +01:00
Andrew Cooper
c4ebeb79d1
Update to Ubuntu 24.04, and checkout@v4 as v2 is deprecated. The build step goes out of it's way to exclude docs and stubdom (but include plain MiniOS), so disable those at the ./configure stage. Refresh the package list. libbz2-dev was in there twice, and e2fslibs-dev is a a transitional package to libext2fs-dev. I'm not aware of libtool ever having been a Xen dependency. Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com> Reviewed-by: Roger Pau Monné <roger.pau@citrix.com> Release-Acked-by: Oleksii Kurochko <oleksii.kurochko@gmail.com>
55 lines
1.3 KiB
YAML
55 lines
1.3 KiB
YAML
name: Coverity Scan
|
|
|
|
# We only want to test official release code, not every pull request.
|
|
on:
|
|
workflow_dispatch:
|
|
schedule:
|
|
- cron: '18 9 * * WED,SUN' # Bi-weekly at 9:18 UTC
|
|
|
|
jobs:
|
|
coverity:
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- name: Install build dependencies
|
|
run: |
|
|
sudo apt-get install -y \
|
|
build-essential \
|
|
git-core \
|
|
golang \
|
|
iasl \
|
|
libbz2-dev \
|
|
libext2fs-dev \
|
|
liblzma-dev \
|
|
libncurses5-dev \
|
|
libyajl-dev \
|
|
libzstd-dev \
|
|
ocaml \
|
|
ocaml-findlib \
|
|
python3-dev \
|
|
uuid-dev \
|
|
zlib1g-dev \
|
|
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
ref: staging
|
|
|
|
- name: Configure Xen
|
|
run: |
|
|
./configure \
|
|
--disable-docs \
|
|
--disable-stubdom \
|
|
--with-system-qemu=/bin/true \
|
|
--with-system-seabios=/bin/true \
|
|
--with-system-ovmf=/bin/true \
|
|
|
|
- name: Pre build stuff
|
|
run: |
|
|
make -j`nproc` mini-os-dir
|
|
|
|
- uses: vapier/coverity-scan-action@v1
|
|
with:
|
|
command: make -j`nproc` build-xen build-tools && make -j`nproc` -C extras/mini-os/
|
|
project: XenProject
|
|
email: ${{ secrets.COVERITY_SCAN_EMAIL }}
|
|
token: ${{ secrets.COVERITY_SCAN_TOKEN }}
|