ci: add extras to download list (#80)

This commit is contained in:
jj
2025-09-23 00:09:32 +02:00
committed by GitHub
parent b21cc8eee0
commit 0fb8ca5007

View File

@@ -59,7 +59,7 @@ runs:
mkdir -p build/{src,download_cache}
for file in "$HELIUM_DIR/downloads.ini" "$PLATFORM_DIR/downloads.ini"; do
for file in "$HELIUM_DIR/downloads.ini" "$HELIUM_DIR/extras.ini" "$PLATFORM_DIR/downloads.ini"; do
if ! [ -f "$file" ]; then continue; fi
run_upstream utils/downloads.py retrieve \