ci: disable seabios build for Xen

custom git-checkout script fail to clone seabios
libvmi · Oct 30, 2024 · 740c13d · 740c13d
1 parent 0ae789e
commit 740c13d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/libvmi-setup/action.yml b/.github/actions/libvmi-setup/action.yml
@@ -37,7 +37,7 @@ runs:
           yum install -y python3-devel iasl libuuid-devel ncurses-devel pixman-devel yajl-devel ninja-build
           git clone --depth 1 https://github.com/xen-project/xen.git -b RELEASE-4.18.0
           cd xen
-          ./configure --disable-docs --disable-stubdom
+          ./configure --disable-docs --disable-stubdom --disable-seabios
           make -j $(nproc)
           make install
         fi