diff options
| author | Frédéric Desbiens <[email protected]> | 2026-10-02 10:26:18 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2026-10-02 10:26:18 -0400 |
| commit | 28281cd5647d4671236ca08d19bd18ed15b2265a (patch) | |
| tree | 42be790d602cb76f55090e5a7c418df7ea2b3428 /scripts | |
| parent | 729959fed0fc380d68c2bdcb2b4d7a5430f5c21a (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]>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/install_riscv.sh | 9 |
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 |