summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrédéric Desbiens <[email protected]>2026-10-02 10:26:18 -0400
committerGitHub <[email protected]>2026-10-02 10:26:18 -0400
commit28281cd5647d4671236ca08d19bd18ed15b2265a (patch)
tree42be790d602cb76f55090e5a7c418df7ea2b3428
parent729959fed0fc380d68c2bdcb2b4d7a5430f5c21a (diff)
Stopped the RISC-V install pulling a desktop media stack (#789)
The RISC-V job installs qemu-system-misc, ninja-build and cmake under a two-minute per-attempt budget. With recommends enabled that install fetches 67 packages and 87 MB of archives, 388 MB unpacked, because qemu-system-misc recommends gstreamer, pulseaudio, v4l and a set of codec libraries. Twenty-six of the 67 are that media stack, and the job runs qemu-system-riscv64 headless. On a slow mirror the download does not finish inside the budget, and all three attempts time out. The install now passes --no-install-recommends. Raising the budget was the alternative and is not available: TIMEOUT_LONG is already sized so that three attempts fit inside the ten-minute install step, as its own comment records. Observed on the run for #783, where all three attempts timed out while a second RISC-V run at the same minute succeeded, which is the mirror-speed dependence this removes. Assisted-by: Claude Code (Opus 5) <[email protected]>
-rwxr-xr-xscripts/install_riscv.sh9
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/install_riscv.sh b/scripts/install_riscv.sh
index 42847625..21e3ac85 100755
--- a/scripts/install_riscv.sh
+++ b/scripts/install_riscv.sh
@@ -10,6 +10,8 @@
# SPDX-License-Identifier: MIT
##############################################################################
+# Portions of this file were generated with AI assistance.
+
# Install RISC-V bare-metal cross-compiler toolchain and QEMU for CI.
set -e
@@ -48,7 +50,14 @@ if ! retry sudo "${TIMEOUT[@]}" apt-get "${APT_OPTIONS[@]}" update; then
echo "install_riscv.sh: the real gate."
echo ""
fi
+# --no-install-recommends, because qemu-system-misc recommends a desktop media
+# stack it does not need here. With recommends the install fetches 67 packages
+# and 87 MB, 26 of them gstreamer, pulseaudio, v4l and codec libraries, for a
+# job that runs qemu-system-riscv64 headless. That download is what pushes the
+# install past its two-minute budget on a slow mirror, and a larger budget is
+# not available: TIMEOUT_LONG is already sized so three attempts fit the step cap.
retry sudo "${TIMEOUT[@]}" apt-get "${APT_OPTIONS[@]}" install -y \
+ --no-install-recommends \
qemu-system-misc \
ninja-build \
cmake || exit 1